Le modèle interne d’OpenAI aurait résolu trois problèmes ouverts en mathématiques, informatique théorique et physique
Les résultats annoncés incluent la réfutation de l’hypothèse ETH, des preuves pour la conjecture de Kakeya et le lissage local en toute dimension, ainsi que des résultats d’existence pour la théorie de Yang-Mills et la QCD complète.
Le modèle interne d’OpenAI aurait résolu trois problèmes ouverts en mathématiques, en informatique théorique et en physique.
Parmi eux, le système aurait réfuté l’hypothèse du temps exponentiel (ETH), une conjecture centrale de la théorie de la complexité computationnelle, étroitement liée au problème du millénaire P ≠ NP.
L’ETH affirme que le problème de satisfiabilité booléenne ne peut pas être résolu nettement plus vite qu’une recherche exhaustive. Pendant des décennies, cette hypothèse a servi de fondement à des résultats en théorie des graphes, en biologie computationnelle, en bases de données, en géométrie et dans d’autres domaines.
Des centaines de travaux reposent sur l’ETH. Si elle est fausse, des questions comme « à quel point plus vite peut-on résoudre ces problèmes ? » se rouvrent.
Le résultat est jugé assez important pour qu’un groupe dirigé par Russell Impagliazzo et Ramamohan Paturi, qui ont formulé l’ETH, le vérifie. OpenAI promet également de financer une conférence pour analyser la portée de ce résultat.
Deux autres résultats notables :
- Conjecture de Kakeya et lissage local. Il s’agit d’ondes qui se concentrent en un point. La conjecture de Sogge de 1991 affirme que la concentration la plus forte ne peut pas durer longtemps. La conjecture de Kakeya et la conjecture de restriction de Stein en découlent.
C’est l’un des problèmes centraux de l’analyse harmonique. Des mathématiciens y ont travaillé pendant des décennies, mais les preuves ne concernaient jusqu’ici que les basses dimensions, généralement deux ou trois. Le modèle d’OpenAI aurait fourni une preuve pour toute dimension, réglant ainsi les conjectures de Kakeya et de Stein en toute dimension.
- Existence de la QCD et de la théorie de Yang-Mills. Le modèle aurait rigoureusement prouvé l’existence de la théorie de Yang-Mills, qui fait partie de l’un des sept problèmes du millénaire. Il aurait aussi prouvé l’existence de la QCD complète, où des quarks sont ajoutés aux gluons, et d’une théorie unifiée incluant les particules du modèle standard. Un groupe dirigé par le prix Nobel David Gross examinera ce résultat.
Quelque chose d’extraordinaire semble se produire.
Pourquoi c'est important
AnalyseSi le résultat est confirmé, il pourrait redéfinir des bornes fondamentales de la complexité algorithmique, rouvrir de grands programmes de recherche en analyse harmonique et modifier la perception de certains problèmes du millénaire.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs
Lié dans l'écosystème
Guides pratiques, terminologie clé et compétences d'agents
OpenAI présente quatre résultats scientifiques obtenus avec un modèle d’IA expérimental
Un modèle d’IA expérimental d’OpenAI, inaccessible au grand public, a produit des démonstrations et des réfutations en mathématiques, en informatique, en physique et en théorie de Yang–Mills.
OpenAI lance GPT-6.1 Terra : performance proche de Sol, moitié moins chère et code plus rapide
GPT-6.1 Terra égale presque GPT-6.1 Sol sur les benchmarks tout en étant deux fois moins chère, avec une meilleure compréhension visuelle, l’usage de l’ordinateur et un texte plus naturel.
OpenAI GPT (Modèles phares de la série GPT)
La gamme principale et polyvalente des grands modèles de langage d'OpenAI (GPT-4, GPT-4o). Optimisée pour l'analyse textuelle complexe, la programmation, la création et le travail intellectuel quotidien.
Partie II. Architecture des agents IA : du modèle à la mémoire et aux outils
Immersion technique approfondie : tokenisation, cache KV, déterminisme de l'échantillonnage, stack d'entraînement, quantification, ingénierie contextuelle, stack de sécurité, RAG en production, ReAct et systèmes swarm multi-agents.
Modèles de pointe (Frontier Models)
La classe d'intelligence artificielle la plus puissante à l'avant-garde de la recherche mondiale (Claude 3.7 Sonnet, OpenAI o3/GPT-4.5, Gemini 2.0 Pro), définissant les limites actuelles des capacités de raisonnement, d'autonomie et de codage.
Partie I. Architecture des agents IA : les blocs fondamentaux
Dix blocs fondamentaux d'un agent moderne : taxonomie des modèles, boucle d'exécution (runtime), techniques de prompting, distillation, compétences (skills), mémoire, appels de fonctions et économie unitaire.