传闻：Astra 或助 OpenAI 逼近两个百万美元数学难题
帖子称 Hodge 猜想与 BSD 猜想可能被 AI 攻克，并回顾此前 Navier-Stokes 证明用了上万智能体和 88 小时。
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.. ↓
这条是引用着另一条写的：x.com/s0n_ia/status/2096673944548065591