Een artikel dat door Anthropic is ingediend, beweert dat een intern Claude-model ook de Exponential Time Hypothesis heeft weerlegd

Een preprint op hexagonmath.org, vermeld als ingediend door Anthropic op 27 oktober 2026, beweert een deterministisch algoritme voor 3-SAT met n variabelen te beschrijven dat in 2^o(n) tijd werkt. Dat zou de Exponential Time Hypothesis (ETH) weerleggen. Volgens het artikel lost het algoritme ook het moeilijkere #3-SAT-probleem op, waarbij het aantal bevredigende toekenningen wordt geteld, en is het resultaat geformaliseerd in Lean 4.

Volgens de herkomstverklaring in het artikel vond een intern Claude-onderzoeksmodel op 16 oktober het kernalgoritme, met 14 miljoen outputtokens en zonder menselijke input. Anthropic-onderzoekers werkten daarna met Claude aan een betere presentatie. Het artikel voegt eraan toe dat een intern model van OpenAI onafhankelijk en tegelijkertijd beweert een vergelijkbaar resultaat te hebben bewezen; het verwijst naar OpenAI's eigen preprint van 26 oktober. Dit zijn allemaal beweringen van de auteurs en ze zijn niet onafhankelijk geverifieerd.

Het artikel werd gedeeld op Hacker News (22 punten en 6 reacties op 27 oktober), waar een reageerder opmerkte dat de beweerde ontdekkingsdatum dezelfde is als die van OpenAI.