Des mathématiciens expriment leur inquiétude alors qu'OpenAI affirme qu'une IA a résolu un problème du Millénaire

OpenAI a annoncé que son dernier modèle d'intelligence artificielle a résolu un problème du Millénaire, une catégorie d'énigmes mathématiques assorties d'une récompense d'un million de dollars qui restaient sans solution depuis des décennies, selon un article de The Guardian.

L'article décrivait cette réussite comme atypique par rapport aux percées habituelles en mathématiques, notant qu'OpenAI, une entreprise valorisée à près d'un milliard de dollars, a déployé 10 000 agents IA—des systèmes autonomes capables d'effectuer des tâches sans intervention humaine directe—pour travailler sur le problème. Selon The Guardian, l'effort aurait coûté environ 15 millions de dollars.

D'après l'article, cette annonce intervient dans un contexte de plusieurs cas récents où les outils d'intelligence artificielle ont contribué à des avancées en mathématiques, ce qui a amené certains mathématiciens à se dire choqués par la rapidité des changements dans le domaine.

L'article de The Guardian a également noté que l'annonce a reçu une réponse mitigée et, dans certains cas, sceptique de la part des mathématiciens, le titre de l'article citant des caractérisations de cette réussite comme une « vantardise immature d'un terrain de jeu ». L'article ne fournissait pas de détails supplémentaires sur les personnes spécifiques formulant ces critiques ou la base complète de leur contestation.

Le matériel source examiné ne précisait pas lequel des sept problèmes du Millénaire, désignés par l'Institut Clay de Mathématiques, aurait été abordé, et ne contenait pas de vérification indépendante de la revendication d'OpenAI par les autorités mathématiques.

OpenAI n'a pas été cité directement dans le matériel disponible en ce qui concerne la méthodologie utilisée ou le fait que la solution prétendue aurait subi un examen par les pairs formel.