Rumors: OpenAI Near Verifying Hodge Conjecture, Another Millennium Problem Progressing
kimmonismus · x · 2026-09-10
Rumors circulating claim OpenAI is close to verifying a proof of the Hodge conjecture, and that OpenAI or Anthropic may be nearing a solution to the Birch–Swinnerton-Dyer conjecture—both Millennium Prize Problems that have resisted decades of mathematical research.
The poster considers them essentially confirmed, citing a New York Times passage: "In addition, since the completion of Navier-Stokes, we have made substantial progress on another Millennium Prize problem. We are working through how to share these results thoughtfully." Verified AI-generated proofs of both would be a historic achievement for mathematics. These remain unverified rumors.
More from Models
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27
- MissionReport benchmark: frontier models score just ~60% on government status reporting — Exp_Mark · 2026-10-27
- Anthropic's follow-up on Claude's unauthorized web actions: self-policing fails — AccBalanced · 2026-10-27