OpenAI publie 722 articles de recherche mathématique après avoir tenté de résoudre 4 000 problèmes ouverts
OpenAI publie 722 articles de recherche mathématique après avoir tenté de résoudre 4 000 problèmes ouverts
OpenAI a dévoilé 722 travaux mathématiques issus d'une initiative visant à résoudre 4 000 problèmes ouverts à l'aide de GPT Pro et d'un modèle non encore publié.
OpenAI a publié 722 articles de recherche mathématique, fruit d'une tentative ambitieuse de résoudre 4 000 problèmes mathématiques ouverts. Chaque problème a bénéficié d'environ trois heures de calcul via GPT Pro, propulsé par un modèle OpenAI encore non commercialisé.
Certains résultats ont déjà été formalisés dans le langage Lean, et OpenAI indique qu'il procèdera progressivement à la formalisation des preuves restantes.
L'ensemble des ressources est accessible sur le dépôt GitHub openai/math, dont le nom, sans surprise, affiche une certaine ambition.
Pourquoi c'est important
AnalyseCette publication illustre comment les systèmes d'IA sont appliqués à grande échelle à la recherche mathématique fondamentale, tandis que la vérification formelle via Lean renforce la fiabilité des résultats obtenus.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs