OpenAI annonce dix avancées en mathématiques et informatique théorique grâce à l'IA
OpenAI a dévoilé dix avancées significatives en mathématiques et en informatique théorique, résolvant des problèmes restés ouverts pendant plus d'une décennie. La recherche par IA derrière ces solutions a coûté environ 2 000 $ en frais de tokens.
OpenAI, une entreprise leader dans la recherche en intelligence artificielle, a annoncé dix avancées majeures en mathématiques et en informatique théorique. Ces avancées résolvent des problèmes qui étaient restés ouverts pendant au moins dix ans, la plupart étant restés sans progrès substantiels pendant encore plus longtemps.
Les calculs nécessaires à ces avancées ont été réalisés à l'aide d'une version interne du modèle de nouvelle génération d'OpenAI, Astra. Le coût associé à la génération de ces solutions, calculé selon les tarifs de l'API Sol, s'est élevé à environ 2 000 dollars en frais de tokens.
OpenAI a souligné que la paternité des travaux doit refléter fidèlement le processus de recherche. L'entreprise estime que présenter une preuve générée entièrement par un système d'IA comme étant le fruit d'un travail humain unique diminuerait la contribution du système et dénaturerait la nature du véritable travail intellectuel humain.
Des chercheurs humains ont participé à la rédaction des manuscrits et ont formalisé les preuves dans le langage Lean pour en vérifier l'exactitude. Cependant, les arguments mathématiques eux-mêmes ont été générés par les systèmes d'OpenAI. Les avancées rapportées incluent de nouvelles bornes supérieures pour le tassement de sphères de haute dimension, des améliorations exponentielles pour les codes binaires et sphériques, ainsi que la preuve d'existence pour les groupes non-sofic.