Claimed AI-assisted proof of the Komlós conjecture surfaces on arXiv
Old-School8916 · reddit · 2026-09-13
A Reddit post points to an arXiv paper (2609.11189) claiming a proof of the Komlós conjecture using AI. The conjecture is a famous open problem in discrepancy theory, and a verified proof would be a landmark for AI for Science. The claim still awaits community verification and peer review.
Related event: Mysterious AI system 'Odin' claims proof of Komlós conjecture on arXiv(2 posts)→
More from AGI Musings
- Nat Lambert: Open models could be what holds the AI ecosystem together — natolambert · 2026-10-31
- Kai-Fu Lee's 'AI Native' ships Nov 3 with endorsement from Satya Nadella — kaifulee · 2026-10-31
- AI security's dark age: agents can probe every endpoint and attack surface — graceisford · 2026-10-31
- AI dinner takeaways: orgs shipping 5x faster, yet GDP isn't growing 30% a year — graceisford · 2026-10-31
- Companies that replaced engineers with AI are rehiring seniors at a premium — DavidLinthicum · 2026-10-31
- Nathan Young proposes prediction markets and AI reporting for AI-community accountability — NathanpmYoung · 2026-10-31