OpenAI a annoncé avoir résolu 10 problèmes mathématiques de longue date. Selon le récit de The Verge, certains de ces problèmes ont déconcerté les scientifiques pendant des décennies.
Cet événement survient dans un contexte de discussion plus large sur l'avenir des mathématiques. James Maynard, professeur à l'Université d'Oxford et lauréat de la médaille Fields, a expliqué à The Verge ses réflexions sur la manière dont la discipline s'adapte à l'IA.
La portée de cette nouvelle dépend de la qualité des solutions et d'une vérification indépendante. Le dossier disponible ne contient ni les preuves elles-mêmes, ni des détails sur les problèmes, ni de confirmation provenant d'autres sources.
commentaire éditorial
Pourquoi c’est important
Si les résultats sont confirmés par une vérification indépendante, les mathématiciens obtiendront un nouvel outil pour travailler sur des problèmes ouverts, et les critères de paternité et de vérification des preuves devront être révisés. Le signal observable le plus proche sera la publication des solutions elles-mêmes et des évaluations des experts. Une incertitude substantielle demeure : le paquet initial contient uniquement un synopsis de The Verge, sans preuves ni déclaration primaire d'OpenAI.