Tao Zhexuan met en garde contre la génération massive de preuves par OpenAI : la communauté mathématique confrontée à une « indigestion de…

Tao Zhexuan met en garde contre la génération massive de preuves par OpenAI : la communauté mathématique confrontée à une « indigestion de preuves »

AIbase基地

Le célèbre mathématicien Tao Zhexuan et d'autres chercheurs ont récemment formulé de sévères critiques à l'égard de la publication massive par OpenAI de preuves mathématiques générées par IA. L'affaire a débuté lorsque OpenAI a publié sur GitHub 719 manuscrits mathématiques contenant des solutions à des centaines de problèmes ouverts, une démarche qui serait contraire aux recommandations du « groupe consultatif Mathématiques et Intelligence Artificielle » concernant l'amélioration de la transparence des modèles propriétaires et les normes de publication.

L'absence de mécanismes de compréhension menace l'écosystème de la recherche

Tao Zhexuan souligne que cette approche industrielle de résolution massive de problèmes entraîne de graves effets négatifs, provoquant dans la communauté mathématique un phénomène d'« indigestion de preuves ». Dans la recherche mathématique traditionnelle, la résolution d'une conjecture s'accompagne d'échanges académiques, de simplification d'articles et de l'élaboration de nouvelles théories, tandis que l'IA ne fournit que des réponses sans explications compréhensibles par l'humain ni interactions académiques, ce qui détruit les mécanismes sains d'exploration de la communauté mathématique.

La surenchère sur les indicateurs nuit à la fertilité du domaine

Le milieu académique avertit également qu'il est un comportement borné de considérer la vitesse de résolution des problèmes comme l'unique indicateur du progrès mathématique. Cette « récolte » mécanique à grande échelle, loin d'apporter une accumulation substantielle de connaissances, réduit au contraire l'espace de survie des voies de recherche traditionnelles et expose le sol créatif de toute la discipline à un risque d'appauvrissement.

Cet article provient du journal quotidien d'AIbase

Bienvenue dans la rubrique [Journal quotidien de l'IA] ! C'est votre guide quotidien pour explorer le monde de l'intelligence artificielle. Chaque jour, nous vous présentons les sujets d'actualité du domaine de l'IA, avec un accent sur les développeurs, pour vous aider à discerner les tendances technologiques et à découvrir les innovations et applications de produits IA.