Rumor: OpenAI near verifying Hodge Conjecture, three Millennium Problems may fall in a month
ctjlewis · x · 2026-09-11
- A source claims the Hodge Conjecture is very close to being verified by OpenAI, and that one of OpenAI or Anthropic is close to solving Birch-Swinnerton-Dyer.
- If true — and the rumor mill makes it uncertain — three Millennium Problems could fall within a month, with an unprecedented behind-the-scenes race.
- The quote-tweet jokes with a fake "attack prompt" casting the model as Grothendieck: no hallucinating, step by step, abelian varieties first — while insisting the model can't solve his precious conjecture.
More from Models
- MissionReport benchmark: only 3 of 540 AI-generated government reports pass all criteria — Exp_Mark · 2026-10-27
- Local beats cloud: Qwen 3.8 FN handles private student data as well as frontier models — dr_lm · 2026-10-27
- Aidan Gomez: model's CoT said no tool calls right before making them — aidangomez · 2026-10-27
- Nat Lambert: Cohere's model is narrow RL training on internal infra ill-suited for open weights — natolambert · 2026-10-27
- OpenAI teases DOTS is coming to Europe 'soon' — mark_k · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27