Le mathématicien Zhiming Tao met en garde : les mathématiques font face à une crise de l’abondance des preuves, tandis que l’IA résout 7 problèmes de recherche sur 10.
Selon le mathématicien Zhiming Tao, lors du Congrès international des mathématiciens (ICM), les mathématiques entrent dans une crise fondamentale liée aux méthodes de recherche et aux valeurs, car des systèmes d’IA peuvent désormais résoudre des problèmes mathématiques de niveau recherche pour un coût de 10 à 1 000 dollars par problème. Lors des tests réalisés par First Proof, les systèmes d’IA ont résolu 7 problèmes de recherche nouveaux sur 10, avec une qualité publiable, faisant passer les ma
GateNews·07-27 09:13
