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.
Related event: Mysterious AI system 'Odin' claims proof of Komlós conjecture on arXiv(2 posts)→
More from AGI Musings
- Walden Robotics CTO: general-purpose robot manipulation is having its 'GPT moment' — adnothing · 2026-10-30
- AI isn't eliminating developers, it's changing their roles, argues analyst — DavidLinthicum · 2026-10-30
- Goldman Sachs says AI will eliminate nearly 15 million jobs — saibharadwaj · 2026-10-30
- ChatGPT Is Turning Users Into Spammers, Says 404 Media Reporter — 404 Media · 2026-10-30
- Stripe spends 1% of OpEx on tokens — bull case for digital labor — zephyr_z9 · 2026-10-30
- Amazon blocks shopping agents, but these 11 retailers still welcome them — thisiskp_ · 2026-10-30