RéponsesPublié25 sources
Des preuves d’IA qui pourraient bouleverser les sciences… si elles sont confirmées
Le 26 octobre 2026, OpenAI a annoncé trois résultats produits par ses modèles ; Anthropic a revendiqué peu après une réfutation distincte de l’hypothèse du temps exponentiel (ETH). OpenAI a publié des manuscrits mathématiques accompagnés de formalizations Lean, mais les éléments sur la physique étaient encore retenu...
Publié parModifié avec GPT-6 LunaImages générées avec GPT Image 2
Réponse de recherche
Points clés à retenir
- Le 26 octobre 2026, OpenAI a annoncé trois résultats produits par ses modèles ; Anthropic a revendiqué peu après une réfutation distincte de l’hypothèse du temps exponentiel (ETH).
- OpenAI a publié des manuscrits mathématiques accompagnés de formalizations Lean, mais les éléments sur la physique étaient encore retenus pour être présentés par un groupe externe.
Prompt IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Le 26 octobre 2026, OpenAI a affirmé que ses modèles internes avaient produit des résultats en analyse harmonique, en complexité informatique et en théorie quantique des champs. Quelques heures plus tard, Anthropic a annoncé une affirmation concurrente sur l’hypothèse du temps exponentiel (ETH). Ces annonces ont retenu l’attention parce que les résultats revendiqués pourraient avoir des conséquences bien au-delà de l’intelligence artificielle. Mais, selon les informations disponibles à ce moment-là, aucun n’avait encore été confirmé de manière indépendante. 2
3
7
Les trois résultats revendiqués par OpenAI
Une preuve sur le lissage local. Le dépôt public d’OpenAI présente un manuscrit et une formalisation en Lean intitulés Local smoothing for the Euclidean wave equation. Selon le dépôt, la preuve établit la conjecture de lissage local de Sogge pour les ondes dans toute dimension spatiale égale ou supérieure à deux. Elle entraînerait aussi les conjectures de Kakeya sur la fonction maximale et la dimension, ainsi que les estimations de restriction sphérique de Stein dans la partie intérieure de la région conjecturée. 17 Une autre source situe la formulation de la conjecture de Sogge en 1991.
6 La portée annoncée ne signifie pas pour autant que toutes les versions de la conjecture de restriction de Stein seraient résolues.
Une réfutation de l’ETH. OpenAI a déclaré que son modèle avait réfuté l’ETH, une conjecture portant sur la difficulté de résoudre des problèmes de satisfaisabilité de formules booléennes. L’entreprise rappelle que cette hypothèse sert de base à de nombreux résultats conditionnels en informatique théorique. 13 Selon des informations publiées, le modèle aurait produit le résultat le 16 octobre, avant sa formalisation en Lean le lendemain.
32 Le dépôt public d’OpenAI répertorie un manuscrit intitulé The Exponential Time Hypothesis is False.
17
Si elle était correcte, une réfutation pourrait remettre en question des résultats qui reposent sur l’ETH. Mais un algorithme en temps sous-exponentiel n’est pas automatiquement un algorithme en temps polynomial : par exemple, 2^√n est sous-exponentiel en n, tout en croissant plus vite que n’importe quel polynôme de degré fixe. Ainsi, même un algorithme valide en 2^o(n) pour 3-SAT réfuterait l’ETH sans démontrer, à lui seul, que P = NP. Les deux questions sont liées, mais ne sont pas interchangeables. 13
33
Un résultat d’existence en théorie quantique des champs. OpenAI a également revendiqué une preuve mathématique rigoureuse de l’existence de certaines théories quantiques des champs en interaction à quatre dimensions, dont la chromodynamique quantique (QCD). 1 Les comptes rendus disponibles décrivent une affirmation portant sur l’existence de ces théories ; ils n’établissent pas que le problème du millénaire de Yang–Mills dans son ensemble, notamment la question de l’écart de masse, a été résolu.
1
16
Anthropic avance aussi une réfutation de l’ETH
Anthropic a rapidement présenté sa propre réfutation présumée de l’ETH. Un article a identifié le texte comme A 2^o(n) Time Algorithm for 3-SAT et l’a attribué à Claude. Il rapporte également que le mathématicien d’Anthropic Levent Alpöge a déclaré que l’algorithme central avait été découvert le 16 octobre « sans intervention humaine », avant que des chercheurs ne travaillent avec Claude à la présentation de l’article. 9
33 Il s’agit d’informations rapportées sur la provenance du travail, et non d’une confirmation indépendante de la preuve.
Le calendrier est notable : selon les comptes rendus, les deux laboratoires situent au 16 octobre leurs résultats initiaux sur l’ETH. 9
32 Le groupe chargé de l’examen externe prévu par OpenAI devait inclure Russell Impagliazzo, Ramamohan Paturi et Ryan Williams, d’après les informations publiées à son sujet.
20 Mais l’enjeu principal n’est pas de savoir quel laboratoire a annoncé son résultat en premier : c’est de déterminer si des spécialistes indépendants peuvent vérifier le raisonnement et la portée de la preuve. Les articles disponibles indiquaient que les affirmations n’avaient pas encore fait l’objet d’un examen indépendant complet.
3
5
33
Des publications différentes, et des questions de transparence
OpenAI a décrit les manuscrits produits par ses IA comme des « données de recherche brutes » que des universitaires extérieurs aideraient à transformer en connaissances scientifiques. 2
11 L’entreprise a publié sur son dépôt public les manuscrits sur le lissage local et l’ETH, accompagnés de formalizations Lean.
17 À l’inverse, selon des informations publiées, le groupe chargé de la physique a retenu les éléments produits par l’IA pendant qu’il préparait son propre compte rendu ; David Gross figurait parmi les experts externes associés à ce travail.
11
32
Des préoccupations avaient aussi été exprimées au sujet de publications antérieures d’OpenAI. Selon une synthèse d’AI Edge Briefing, 10 des 719 manuscrits publiés comprenaient des traces de raisonnement interne du modèle (« chain of thought »), et les métadonnées lisibles par machine permettant de relier les manuscrits en langage naturel aux artefacts formels demandés n’étaient pas disponibles. 18 Ce contexte aide à examiner les pratiques de publication, mais ne suffit pas, à lui seul, à établir toutes les critiques formulées au sujet des annonces du 26 octobre.
La distinction essentielle est celle entre une affirmation de recherche spectaculaire et un résultat vérifié. OpenAI a rendu consultables deux affirmations mathématiques par le biais de manuscrits publics et d’artefacts Lean, tandis que les documents sur la physique demeuraient inédits selon les informations publiées. Anthropic a présenté une affirmation concurrente sur l’ETH et un récit de la contribution de son modèle. Tant que des spécialistes externes n’auront pas examiné les preuves et confirmé ce qu’elles établissent, les annonces des deux laboratoires ne doivent pas être considérées comme des découvertes scientifiques acquises. 3
11
17
33
Studio Global AI
Continuez vos recherches
Cette page comprend une réponse basée sur la source que vous pouvez continuer dans Studio Global.
Les gens demandent aussi
Quelle est la réponse courte à « Des preuves d’IA qui pourraient bouleverser les sciences… si elles sont confirmées » ?
Le 26 octobre 2026, OpenAI a annoncé trois résultats produits par ses modèles ; Anthropic a revendiqué peu après une réfutation distincte de l’hypothèse du temps exponentiel (ETH).
Quels sont les points clés à valider en premier ?
Le 26 octobre 2026, OpenAI a annoncé trois résultats produits par ses modèles ; Anthropic a revendiqué peu après une réfutation distincte de l’hypothèse du temps exponentiel (ETH). OpenAI a publié des manuscrits mathématiques accompagnés de formalizations Lean, mais les éléments sur la physique étaient encore retenus pour être présentés par un groupe externe.