Terence Tao avertit d'une crise de valeurs en mathématiques, les preuves générées par l'IA vont devenir surabondantes

Le mathématicien d'origine chinoise Terence Tao a déclaré lors du Congrès international des mathématiciens (ICM) que les mathématiques entrent dans une crise fondamentale concernant les valeurs et les méthodes de recherche. Il a souligné que l'IA sera bientôt capable d'accomplir un grand nombre de tâches mathématiques de niveau recherche à un coût raisonnable. Lors des derniers tests, quatre systèmes d'IA ont été confrontés à dix nouvelles questions de recherche, et au moins un de ces systèmes a produit des solutions de qualité publiable pour sept d'entre elles, avec un coût de calcul par problème variant de 10 à 1000 dollars. Terence Tao estime que les mathématiques passeront d'une « rareté des preuves » à une « surabondance des preuves », les preuves générées par l'IA s'accumulant en attente de validation. Les résultats validés devront encore être clairement expliqués, révisés et organisés par des humains. La véritable compétence rare sera celle de juger de l'importance des résultats et de transformer les preuves en connaissances compréhensibles par tous. Il a insisté sur le fait que si l'auteur ne peut pas expliquer clairement et précisément ses résultats, même si la preuve est générée par l'IA et validée, elle ne devrait pas être publiée.

Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier, d'investissement, juridique ou fiscal. Les événements, récompenses, promotions en ligne ou informations mentionnées ici ne doivent pas être considérés comme une recommandation, une sollicitation ou une invitation à acheter, vendre, trader ou effectuer toute autre opération sur des actifs crypto. Les actifs crypto sont très volatils et peuvent entraîner des pertes. La disponibilité des services, produits et événements liés à WEEX peut varier selon les régions. Veuillez vous assurer que votre participation respecte les lois et réglementations locales applicables.