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 mathématiques de la « rareté des preuves » à l’« abondance des preuves ». Tao a souligné que la compétence essentielle ne consistera plus à résoudre les problèmes les premiers, mais plutôt à évaluer l’importance des résultats, à présenter les démonstrations clairement et à les transformer en une compréhension humaine partagée.
Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.
Commentaire
0/400
Aucun commentaire