Illustration, AI-generated from the story text. Tap a panel to enlarge.
Anthropic publishes its own claimed refutation of the Exponential Time Hypothesis
Anthropic has published a separate claimed refutation of the , adding a second lab's mathematical construction after OpenAI's announcement. Its formal-math repository describes an algorithm for counting solutions to logical formulas and supplies a project with pinned dependencies and checking instructions.
That makes a new construction available for inspection. It does not independently certify OpenAI's proof, and the build and acceptance checks were not rerun here. The result concerns how running time grows as problems get larger; practical software gains require additional evidence about constants, input sizes and implementation. SourcesA
Sources
- AAnthropic: formal-math repositorygithub.com
This story ran in the Afternoon Brief of October 27th 2026.