Rumor: Astra may help OpenAI close in on two $1 million math problems
A post claims the Hodge conjecture and the Birch and Swinnerton-Dyer conjecture may be cracked by AI, recalling that an earlier Navier-Stokes proof used over 10,000 agents and 88 hours.
AFTER 10,000 AGENTS AND GPT-6 ASTRA, TWO MORE $1 MILLION MATH PROBLEMS MAY BE NEXT For decades, two of mathematics’ hardest problems have resisted every attempt at a complete proof. -> Now rumors suggest AI labs are closing in on both. OpenAI is very close to verifying the Hodge conjecture. Either OpenAI or Anthropic is reportedly nearing a solution to Birch and Swinnerton-Dyer. Two different fields. A combined $2 million in prizes. Hodge connects algebraic geometry and topology. Birch and Swinnerton-Dyer concerns rational points on elliptic curves. The previous Navier–Stokes announcement involved around 10,000 agents, 130 billion output tokens and 88 hours of work. GPT-6 Astra then spent another 17 hours formalizing and verifying the proposed proof in Lean. Could Astra help turn the next claimed breakthrough into a checkable proof? If these rumors hold up, three Millennium Problems could see claimed breakthroughs within one month. Decades between breakthroughs could become weeks. How much of mathematics could AI redraw before the year ends.. ↓
This post quotes another post: x.com/s0n_ia/status/2096673944548065591