AI impacts theoretical computer science as OpenAI and Anthropic claim they disproved a 27-year-old hypothesis underpinning major research. OpenAI and Anthropic said this week that AI impacts theoretical computer science by disproving the exponential time hypothesis, a claim that cuts…
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…
Estefano Gomez is an editor at Crypto Briefing specializing in blockchain analysis, DeFi, and the intersection of crypto and digital art. He previously served as Editor in Chief at Interesante for over three years, where he covered blockchain technology, NFTs,…
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,…
Gross leads a five-person group that also includes Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov — a panel spanning constructive quantum field theory, string theory, and mathematical physics. Jaffe co-authored the original problem statement for the Yang-Mills Millennium Prize.
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…
The claim concerns the Exponential Time Hypothesis. Independent scrutiny is open, and a practical Bitcoin attack would require several further steps. OpenAI says its AI system has refuted the Exponential Time Hypothesis, a longstanding assumption about how difficult certain logic…
Expert ‘shepherds’ will decide how best to share the latest breakthroughs in computer science and physics. On Monday, OpenAI announced impressive breakthroughs in mathematics, computer science, and physics, along with what the company says is an evolving approach to communicating…
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…
AI systems that solve open mathematics problems and write proofs: OpenAI, Google DeepMind, Anthropic and other labs, and the famous problems their models have cracked.
An article joins this feed when it matches these terms. Each one is also a search of its own.