Rumors swirl OpenAI near verifying Hodge conjecture proof, more to come
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 Birch–Swinnerton-Dyer — both Millennium Prize Problems that resisted decades of research. Verified AI-generated proofs would be historic. The poster finds the rumors plausible given reports of OpenAI's internal model's capabilities a week earlier, plus competitive pressure from Anthropic's rumored IPO. Unverified as of now.
More from Models
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 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
- Local benchmark: Flint matches Qwen3.6 quality at 50/52 while running 3.6x faster on M4 Pro — RichardSocher · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27