OpenAI a publié des centaines de solutions et des progrès vers 372 problèmes majeurs en mathématiques dans une publication comprenant 722 manuscrits sur GitHub, a annoncé la société. Les avancées issues d’un modèle pionnier de ChatGPT qui n’avait pas été publié, confirmées par le nouvel organisme consultatif d’OpenAI, devraient probablement amplifier la controverse autour de l’IA Navier-Stokes qui agite la communauté mathématique.
Les résultats étaient attendus, car OpenAI avait déclaré le mois dernier que ses modèles avaient résolu « plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques ». Dans le cadre de cette publication, OpenAI a inclus le raisonnement du modèle, des estimations de calcul et des informations sur le nombre de problèmes tentés. La société a indiqué que le « résultat moyen » nécessitait environ trois heures d’utilisation de ChatGPT Pro.
OpenAI a dit avoir suivi les directives relatives à la publication des articles, telles que recommandées par son Groupe consultatif indépendant sur les mathématiques et l’intelligence artificielle (AGMAI). Celles-ci comprenaient une publication rapide des résultats par les canaux académiques traditionnels, ainsi que des détails tels que le nom du modèle utilisé, les invites et les coûts de calcul.
« Pour cette publication, nous publions les résultats dans un dépôt GitHub, avec des protocoles de révision des articles et de citations », a écrit la société. « Nous poursuivons l’exploration d’autres alternatives hébergées par la communauté pour cette publication, qui respectent les directives du comité. Pour les publications futures, nous nous engageons à améliorer davantage la qualité des articles par les citations, l’exposition mathématique et la présentation des résultats afin d’en faciliter la compréhension. »
OpenAI a toutefois ignoré certaines des suggestions du conseil. La société n’a pas publié les temps de calcul spécifiques pour les problèmes ni les invites qu’elle a utilisées.
Parmi les résultats clés revendiqués par OpenAI figuraient une solution à la conjecture de Kakeya en quatre dimensions, ainsi que des améliorations des principaux algorithmes informatiques et des progrès vers l’hypothèse de Riemann, d’une grande difficulté. Près de chaque papier a été produit en réponse à une seule invite donnée à un seul agent d’IA, a indiqué OpenAI à Scientific American.
Les résultats doivent encore être évalués par des mathématiciens avant que leur impact puisse être compris. Et à la suite de l’imbroglio Navier-Stokes (en savoir plus ici), il subsiste encore beaucoup de scepticisme parmi les scientifiques. « Tant qu’ils ne publient pas le modèle et que les gens ne peuvent pas reproduire leurs résultats, je pense qu’il faut traiter toute affirmation selon laquelle on peut résoudre des problèmes en une seule étape avec un seul agent comme non vérifiée », a déclaré le mathématicien du MIT Andrew Sutherland à SciAm.
