Comment by gucci-on-fleek

> 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].

[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...