OpenAI annonce 722 découvertes mathématiques d'un seul coup

OpenAI a publié 722 articles mathématiques prouvant et réfutant une série de problèmes – une ampleur que les universitaires qualifient d'aussi impressionnante que déroutante.

Depuis des mois, la capacité des modèles d'IA à s'attaquer aux problèmes mathématiques ne cesse de croître. Pas plus tard qu'en 2019, les modèles d'IA avaient du mal à obtenir la moyenne aux épreuves de mathématiques du GCSE. Le mois dernier, cependant, OpenAI a résolu un problème lié aux équations de Navier-Stokes de la dynamique des fluides, qui figurait parmi les énigmes les plus ardues et les plus anciennes des mathématiques.

Après avoir atteint une profondeur impressionnante, OpenAI semble avoir opté pour la largeur, en publiant des centaines de découvertes mathématiques d'un seul coup. L'entreprise n'a pas nommé l'IA ayant réalisé ces découvertes, précisant seulement qu'il s'agissait d'un « modèle de frontière interne ».

Francis Johnson, de l'University College London, a travaillé pendant de nombreuses années sur le problème D(2) de Wall – l'une des centaines d'énigmes résolues dans la série d'articles d'OpenAI.

« J'ai travaillé sur ce problème pendant 25 ans. J'ai écrit deux livres à ce sujet. Personnellement, j'ai abandonné », explique Johnson. « Je suis surpris que [l'IA] l'ait fait aussi rapidement, mais je ne suis pas surpris qu'elle y soit parvenue. »