Do we have any actual technical insights from this yet? Have any been able to actually read through the paper / Lean code and gain useful first impressions?
Like, were new types of math necessary to solve this problem? How likely are we to see humans being able to review the whole proof? How long would that likely take if at all? Can insights from this be applied to other challenges in the field? And so on?
Any insights on this you read about from professional mathematicians? Links?
Technical insights are almost impossible to find / surface so far unfortunately, given the social drama has given every random redditor / bot the opportunity to chime in on this (and given that r/math refuses to post about a millennium problem being solved, lol).
Please technical insights only in this thread?
Thank you!