Mysterious AI system 'Odin' claims proof of Komlós conjecture on arXiv

Reddit users report that a mysterious AI system called 'Odin' has produced a proof of the Komlós conjecture, a major open problem in combinatorics, with the paper posted on arXiv (2609.11189); its validity remains to be verified.

2026-09-13 ~ 2026-09-13 · 2 related posts

• Mysterious AI system "Odin" credited with proving the Komlós conjecture, paper on arXiv — badumtsssst · 2026-09-13
• Claimed AI-assisted proof of the Komlós conjecture surfaces on arXiv — Old-School8916 · 2026-09-13