OpenAI met en avant ses progrès en maths et encadre ses échanges

OpenAI affirme qu’un modèle interne a résolu plus de 100 problèmes de mathématiques réputés difficiles après un mois d’entraînement commencé le 28 août 2026. L’entreprise a dévoilé cette mesure au moment même où elle met en place un groupe consultatif indépendant sur les maths et l’IA. Le message est clair : les progrès accélèrent, mais la manière de les partager devient un sujet politique autant que scientifique.

Des résultats rapides, mais encore difficiles à interpréter

Selon OpenAI, le modèle a résolu des problèmes dans la plupart des grandes branches des mathématiques, en plus du problème de Navier-Stokes du millénaire. La société dit aussi qu’un second problème du millénaire, la conjecture de Hodge, figure parmi les résultats annoncés. Reste un point central : ni la méthode exacte, ni la liste complète des problèmes, ni la portée réelle de ces solutions n’ont été publiées à ce stade.

Cette ambiguïté nourrit les réserves d’une partie de la communauté scientifique. Dans le papier publié autour de Navier-Stokes, plusieurs chercheurs ont déjà lancé un débat vif sur la validité et l’interprétation de ces avancées. Autrement dit, un modèle peut produire une réponse, sans que l’on sache encore très bien ce qu’il a compris. Et en maths, le diable se cache souvent dans les hypothèses.

Pourquoi les mathématiciens s’inquiètent

La réaction d’OpenAI s’inscrit dans un contexte de critiques ouvertes. Dans la lettre “A Severe Misalignment of AI in Mathematics”, des mathématiciens dénoncent une logique qui consisterait à mesurer la performance d’une IA au nombre de problèmes ouverts qu’elle résout. Leur crainte est simple : produire des solutions sans renforcer la compréhension conceptuelle fragilise ce qui fait la valeur de la discipline.

Le débat dépasse le cercle universitaire. Les progrès en mathématiques peuvent irriguer la science, l’ingénierie et la modélisation, donc tout ce qui dépend de calculs fiables et de preuves solides. OpenAI dit d’ailleurs que cette capacité pose des questions de développement responsable bien au-delà du seul champ académique.

Un groupe indépendant, mais sans prise sur le rythme d’OpenAI

Pour répondre à cette pression, OpenAI soutient un Advisory Group on Mathematics and Artificial Intelligence basé à l’Institute for Advanced Study. Le groupe doit faire le lien entre l’entreprise, les chercheurs et le public, avec la possibilité de publier ses recommandations et de s’exprimer librement sur l’influence de l’IA en maths. Il ne sera pas rémunéré par OpenAI et pourra choisir ses membres.

Mais la frontière est nette. Le groupe ne conseillera pas OpenAI sur la vitesse de ses travaux internes. Il pourra se prononcer sur la manière de partager les résultats, pas sur le tempo de la recherche. C’est une nuance importante, parce qu’en matière d’IA, le vrai sujet n’est pas seulement ce qui est trouvé, mais quand cela sort et avec quelles garanties.

Timothy Gowers rejoint l’initiative, sans signer la lettre

Parmi les membres fondateurs figure Timothy Gowers, mathématicien et médaille Fields. Il n’a pas signé la lettre des 25 médaillés Fields, tout en disant partager une partie des inquiétudes exprimées. Sa position est plus nuancée : pour lui, les mathématiques oscillent entre recherche de problèmes à résoudre et recherche de compréhension conceptuelle.

Gowers dit aussi que son propre projet sur la démonstration automatisée à Cambridge a perdu sa raison d’être lorsque les grands modèles de langage sont devenus assez performants. Il redoute surtout un effet d’entraînement sur la profession elle-même : si les jeunes chercheurs jugent qu’il n’y a plus de place pour eux, la relève pourrait se tarir. OpenAI veut montrer qu’elle avance vite ; la question est désormais de savoir comment éviter que la discipline, elle, ne perde son souffle.