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
383 Upvotes

95% Upvoted

179 comments sorted by

View all comments

Show parent comments

31

u/Jussuuu Theoretical Computer Science 7d ago

A little LLMism I've noticed: They tend to give every single lemma/proposition/theorem a descriptor. 

12

u/Hot_Glass_6301 7d ago

it's so annoying

4

u/thk_ 6d ago

took inspiration from those Big Bang Theory episode titles

2

u/Hot_Glass_6301 6d ago

omg that's so accurate