According to The Rundown AI, Anthropic says Claude independently found an ETH-disproving algorithm on Oct. 16 using 14M output tokens with no human input, AxiomMath AI agents verified a 15,000-page collaborative proof in 24 days and flagged a flaw, and Psi Quantum Physics…
In microeconomics, a credence good is any purchase where the consumer cannot assess the marginal utility of the service even after paying for it. The classic textbook example is an automotive repair shop. If a mechanic replaces an alternator and…
Aristotle, Harmonic's formal proving model, resolved 96.8% of problems on VERINA, a code-verification benchmark built by UC Berkeley and Meta researchers. The US fusion lab DIII-D used it to rebuild part of its reactor-control software in four hours, starting from one…
A decades-old assumption about the limits of computing may have met an unexpected challenger: artificial intelligence. On Oct. 26, the company announced that its models had produced a proof disputing the Exponential Time Hypothesis (ETH), a longstanding assumption about how difficult…
There is no practical speed up yet. It just shows that the assumption and claim that some really hard problems only have exponential solutions is false. This could be like proving that there are superconductors beyond 6 degrees of absolute zero…
Turns out, OpenAI might be really good at computers. On Monday, the company said it punctured the Exponential Time Hypothesis, or ETH, the nearly 30-year-old belief in the computer science community that some logic problems get overwhelmingly time-consuming as they…
On October 26, 2026 (local time), OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The subject areas are harmonic analysis, computational complexity theory, and quantum field theory. Of particular note is the achievement in…
OpenAI, the maker of ChatGPT, claims its AI models have disproven the Exponential Time Hypothesis – a fundamental assumption that underpins computer science. “This came as a complete surprise, a shock,” says Fedor Fomin at the University of Bergen in Norway.
The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” the release is already controversial By Joseph Howlett & Peter Hall edited by Lee Billings Just a few weeks after dropping hundreds of…
OpenAI says its AI systems have produced three major discoveries spanning mathematics, computer science and physics, including a proof that challenges the widely believed Exponential Time Hypothesis (ETH), a result resolving major conjectures in harmonic analysis, and a mathematically rigorous…
Formal verification by mathematical methods: theorem provers, verified software and smart contracts, model checking and AI-assisted formal methods.
An article joins this feed when it matches these terms. Each one is also a search of its own.