OpenAI a dévoilé 372 résultats mathématiques générés par un modèle d'intelligence artificielle interne non encore rendu public, relançant le débat sur la capacité des grands modèles de langage à contribuer aux mathématiques avancées. Selon les rapports disponibles, la grande majorité de ces résultats ne provient pas de milliers de tentatives indépendantes, mais d'une seule invite adressée à un unique agent IA.
C'est ce mode de production qui a suscité à la fois l'étonnement et la perplexité : plutôt que de construire des preuves dispersées, le modèle semble être parti d'une seule instruction pour générer une série de résultats en cascade. Cela soulève des questions sur la manière d'évaluer ces accomplissements et sur leur nature réelle : découvertes mathématiques ou simples sorties séquentielles d'un même processus ?
Nombre de résultats et détails de l'invite unique
Selon les informations disponibles, 372 résultats mathématiques ont été produits par le modèle interne, dont l'écrasante majorité découle d'une seule invite à un agent IA. OpenAI ne précise pas, dans les sources accessibles, la puissance de calcul totale ni la durée nécessaire à la génération de ces résultats.
Ces résultats portent sur des problèmes mathématiques complexes, dont certains sont liés à des questions célèbres comme l'hypothèse de Riemann et les équations de Navier-Stokes, parmi les problèmes ouverts les plus difficiles des mathématiques modernes. Mais les sources ne précisent pas la nature de ces résultats : s'agit-il de preuves complètes, de preuves partielles ou de nouvelles formulations de problèmes existants ?
Pourquoi ces résultats divisent-ils les mathématiciens ?
Cette annonce a provoqué une nette division parmi les mathématiciens et les informaticiens. D'un côté, certains se disent impressionnés par la capacité du modèle à produire un tel volume de résultats à partir d'une seule invite, y voyant un signe de progrès majeur de l'IA mathématique. De l'autre, plusieurs expriment leur scepticisme quant à la valeur réelle de ces résultats.
