Mysterious AI system "Odin" credited with proving the Komlós conjecture, paper on arXiv
badumtsssst · reddit · 2026-09-13
Reddit users report that a mysterious AI system, "Odin," has been credited with a proof of the Komlós conjecture, with a paper submitted to arXiv (arXiv:2609.11189). If verified, it would mark a major advance for AI in frontier theorem proving; the system's origins remain unclear and the proof awaits peer scrutiny.
More from AGI Musings
- Why an AI arms treaty needs a verification story before signatures — victor_explore · 2026-09-13
- Fake DSM-6 lists 'AI Eschatological Delusion' as a new disorder — whurley · 2026-09-13
- OpenAI's Navier-Stokes proof used ~10,000 agents for 88 hours — is AGI a swarm, not a model? — callme_e · 2026-09-13
- Dev questions centralized frontier-pacing, argues open source AGI must win — 0xsachi · 2026-09-13
- Open-model RL practitioner pushes back on roon: safety standardization won't threaten open source — willcb · 2026-09-13
- Commenter: 'Frontier pacing' talk collapses once a Chinese model beats ChatGPT Pro and Claude Max — doodlestein · 2026-09-13