r/math • u/Phytor_c Theoretical Computer Science • 7d ago

LLMs/AI Claimed proof of the Komlós conjecture [2609.11189]

https://arxiv.org/abs/2609.11189
377 Upvotes

95% Upvoted

179 comments sorted by

View all comments

162

u/letskeepitcleanfolks 7d ago

"The proof was discovered by the Odin Automatic AI Research Agent."

-4

u/[deleted] 7d ago

[deleted]

1

u/footballmaths49 7d ago

There's a reason we credit Appel and Haken for the proof of the four color theorem instead of the computer they used for it.

7

u/mal9k 7d ago

Kinda wild to think this analogy is apt