Re:A complex structure on S^6 [pdf]
by gucci-on-fleek on Monday August 24, 2026 @01:59AM
(#49415692)
> It seems the trend for AI math is:
> > Proofs which fewer and fewer people are able to understand
This is the trend for proofs of famous old theorems in general, even pre-AI. Some particularly extreme examples are the proofs of Fermat's Last Theorem [0], the abc conjecture [1], the classification of finite simple groups [2], and the four colour theorem [3].
> > Proofs which fewer and fewer people are able to understand
This is the trend for proofs of famous old theorems in general, even pre-AI. Some particularly extreme examples are the proofs of Fermat's Last Theorem [0], the abc conjecture [1], the classification of finite simple groups [2], and the four colour theorem [3].
[0]: https://en.wikipedia.org/wiki/Wiles's_proof_of_Fermat's_Last...
[1]: https://mathoverflow.net/questions/232087/have-there-been-an...
[2]: https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
[3]: https://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_co...