Terence Tao met en garde contre une crise de surabondance de preuves
Dans un article de douze pages sur arXiv, Terence Tao avertit que si l'IA résout des preuves de recherche pour quelques dizaines à quelques centaines de dollars, les mathématiques basculeront vers la surabondance.