On May 23rd, King Harald V of Norway, will present the Abel Prize to French mathematician Yves Meyer. Each year, the prize is awarded to a laureate for "outstanding work in the field of mathematics". Yves Meyer makes wavelets with his…
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…
Originally published on The Daily Flare. OpenAI says its AI models have produced three new results in mathematics, computer science and physics, including a claimed refutation of a long-standing assumption about computational complexity. The company announced the findings on Monday,…
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.
Computer-checked mathematics: the Lean proof assistant, formalization projects, formal verification and autoformalization.
An article joins this feed when it matches these terms. Each one is also a search of its own.