Information theory: another bombshell in mathematicsInformatietheorie: opnieuw een bom in de wiskundeThéorie de l’information : un nouveau coup de tonnerre en mathématiques
Frankfurter Allgemeine Zeitung · 28 October 2026, at 20:29
So, here’s a remarkable new claim from OpenAI: an AI model has produced a 64-page proof that the Exponential Time Hypothesis, a long-standing assumption in theoretical computer science, is false. The proof was also checked by a computer program, though mathematicians still need to examine and understand it. Adding to the excitement, Anthropic says its Claude model reached essentially the same result by a different route just six hours later. This does not solve P versus NP, but it challenges a widely used assumption with important implications for complexity theory.Wel, OpenAI komt met een opmerkelijke nieuwe claim: een AI-model heeft een bewijs van 64 pagina’s opgesteld dat de Exponential Time Hypothesis, een gevestigde aanname in de theoretische informatica, onjuist is. Een computerprogramma heeft het bewijs ook gecontroleerd, al moeten wiskundigen het nog grondig bestuderen en begrijpen. Dat maakt het extra spannend: Anthropic zegt dat zijn Claude-model amper zes uur later, via een andere aanpak, vrijwel tot hetzelfde resultaat kwam. Het vraagstuk P versus NP is hiermee niet opgelost, maar een veelgebruikte aanname staat wel op losse schroeven, met belangrijke gevolgen voor de complexiteitstheorie.OpenAI avance une affirmation remarquable : un modèle d’IA aurait produit une démonstration de 64 pages montrant que l’hypothèse du temps exponentiel, une idée établie en informatique théorique, est fausse. Un programme informatique a également vérifié la démonstration, mais les mathématiciens doivent encore l’étudier et la comprendre en détail. Et voici ce qui rend l’annonce encore plus étonnante : Anthropic affirme que son modèle Claude est arrivé à un résultat pratiquement identique, par une autre méthode, seulement six heures plus tard. La question P contre NP n’est pas résolue pour autant, mais cette avancée remet en cause une hypothèse largement utilisée et pourrait avoir d’importantes conséquences pour la théorie de la complexité.
