OpenAI affirme que son modèle interne a résolu plus de 100 problèmes mathématiques après seulement un mois d'entraînement
decoder ·
OpenAI a annoncé que son nouveau modèle interne a résolu plus de 100 problèmes mathématiques de longue date, dont la conjecture de Hodge et un deuxième problème du prix du millénaire, après seulement un mois d'entraînement. Cette réalisation rapide a suscité le débat au sein de la communauté scientifique, notamment sur la question de savoir si les solutions générées par l'IA compromettent la compréhension conceptuelle fondamentale en mathématiques. En réponse aux critiques des mathématiciens, OpenAI a mis en place un groupe consultatif indépendant à l'Institute for Advanced Study pour guider la manière dont les résultats sont partagés avec les chercheurs et le public. Cependant, l'entreprise a explicitement déclaré que ce groupe n'aurait pas autorité sur le rythme de ses progrès en recherche interne. Le lauréat de la médaille Fields Timothy Gowers a rejoint le conseil consultatif mais a refusé de signer une lettre ouverte critifiant l'impact de l'IA sur ce domaine. Gowers a fait valuer que, bien que la résolution de problèmes soit précieuse, le risque principal réside dans l'effondrement potentiel des structures sociales soutenant les mathématiciens humains et leurs carrières. Il a exprimé sa crainte que les décideurs politiques ne considèrent les experts humains comme redondants si l'IA peut résoudre des théorèmes efficacement. L'annonce met en lumière la tension entre les capacités computationnelles de l'IA et les objectifs traditionnels de l'enquête mathématique.
decoder