Rumors swirl that OpenAI is close to verifying a proof of the Hodge conjecture

kimmonismus · x · 2026-09-10

Rumors spreading on X claim OpenAI is close to verifying a proof of the Hodge conjecture, while OpenAI or Anthropic may be nearing a solution to the Birch–Swinnerton-Dyer conjecture — both Millennium Prize Problems that have resisted decades of research. Verified AI-generated proofs would be a historic demonstration of AI's ability to produce novel scientific knowledge. These remain unconfirmed rumors.

Related event: Rumors swirl that OpenAI nears Hodge and BSD conjectures as Millennium Prize problems fall(27 posts)→

Original post →

More from AGI Musings

AGI Musings channel →