Comment OpenAI a résolu les mathématiques

Ce succès tient à plusieurs facteurs, qui disent beaucoup de la suite probable. D'abord, une solution mathématique peut souvent être vérifiée, un peu comme du code informatique, ce qui permet de contrôler et d'affiner les résultats de la machine. Ensuite, les mathématiques recoupent largement le travail des chercheurs en IA, que ceux-ci cherchent justement à automatiser dans l'espoir d'atteindre l'auto-amélioration récursive, souvent désignée par le sigle RSI. Enfin, avec assez de puissance de calcul, l'IA peut absorber des calculs que des humains mettraient des années à mener, et elle ne renonce jamais. Pour la recherche mathématique, cela signifie qu'une part du travail laborieux et systématique pourrait désormais être déléguée à des machines.

Un mathématicien membre d'un groupe qui conseille OpenAI sur la façon de rendre publiques ses avancées en mathématiques résume ces aptitudes par deux expressions, la force brute et l'endurance. Cette formule suggère que les résultats relèvent moins d'une intuition comparable à celle des grands théoriciens que d'une capacité à explorer méthodiquement un immense espace de possibilités. L'existence même de ce groupe consultatif montre que l'entreprise cherche à encadrer la communication de ces résultats auprès de la communauté scientifique, dont l'accueil de ces 722 articles pèsera sur la suite.