@highergeometer@mathstodon.xyz
Post #1558697
2026-04-22 01:07 UTC
A rumour has reached your correspondent's ears that a group led by S.-T. Yau is working on formalising the Classification of Finite Simple Groups. No public announcement to confirm, a specific university was mentioned where people got emails about it.
The scale of such a project is beyond anything anyone has attempted before, as the proof is thousands of pages, not fully written out cleanly in a "self-contained" way yet by the GLS(+others) team, and depends on thousands of pages of "background" material as assumed knowledge, itself not fully isolated out of reference works.
Replies (1)
-
@soaproot@sfba.social 2026-04-22 01:47
@highergeometer It has been a gleam in my eye for a long time (not to do myself, but hope some collaboration takes it on). Partly because, like Fermat's Last Theorem, or the 4 color map theorem, the statement of the result is fairly simple but the proof is involved.