Au contraire.
C'est une nouvelle ère qui s'ouvre pour les mathématiques.
Une ère où la démonstration formelle est largement automatisée et où l'accent sera reporté sur le développement de nouveaux concepts, nouvelles abstractions, nouvelles définitions, et nouvelles conjectures.
L'invention du bateau a réduit l'importance de la nage, mais a permis la découverte de nouvelles terres.
Do historians compete against documents? Archeologists against relics? Entomologists against insects? Astronomers against stars?
The whole "competition" framing is a nonsensical discourse pushed by AI companies. Many mathematicians (out of naivety) decided they must be right.
@scottnarmstrong Craig actually still thought about this question last year and I had some discussion with him (I'm a recent Berkeley graduate). I followed the paper to him yesterday and look forward to his reaction.
The Kannan-Lovász-Simonovits conjecture is finally solved. Congratulations to @realZhaoSong and to my MSR office mate Xinzhi Zhang on the huge breakthrough!
https://t.co/COuTZuqe6f