Cup of NewsOpen in Cup of News

Science · 2026-10-27 · Afternoon briefing

OpenAI, Anthropic claim breakthroughs in dueling proofs

OpenAI has released three major proofs that it claims solve long-standing problems in mathematics, physics, and computer science. The announcement was immediately followed by rival firm Anthropic, which published its own independent result just hours later. Both companies now claim to have disproved the Exponential Time Hypothesis, a foundational tenet of computer science first suggested in 1999.

The releases are controversial. OpenAI has kept the large language model that generated the proofs proprietary, withholding the prompts and computational methods used. The move also contradicts recommendations from the Advisory Group on Mathematics and Artificial Intelligence, an expert panel OpenAI itself organized. One of the proofs relates to the Yang-Mills problem, one of seven unsolved 'Millennium Problems' established by the Clay Mathematics Institute in 2000.

Summary written by Cup of News with AI from the sources below. Check the originals for the full story.

Read the sources

Cup of News

Ten stories, twice a day. Calm, no notifications.

Get the app

More stories in this edition

  1. EU unveils climate law to prepare for a 3°C warmer world
  2. Malawi's Chawinga is first African woman in Ballon d'Or top 10
  3. India’s largest IPO may end its cheap data era
  4. Ukraine and Russia begin local ceasefire in occupied Oleshky
  5. Study: AI costs up to 17 times more for non-English users
  6. Kenya releases Ebola contacts as DRC trials vaccines
  7. Harry Kane wins Ballon d'Or, ending German football's long wait
  8. Nordic leaders in rare call with Putin over Ukraine talks
  9. Kaepernick has no regrets over career-ending protest, ten years on

Read the whole edition