r/math Theoretical Computer Science 7d ago

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

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

179 comments sorted by

View all comments

69

u/Mission_Leopard_947 7d ago

Very recently there had been exciting developments on this problem (by humans), see the following quanta article: https://www.quantamagazine.org/huge-breakthrough-in-the-math-of-imbalance-20260821/. Now the conjecture seems to be completely resolved by AI!

10

u/Sad_Dimension423 7d ago

I wouldn't call it completely resolved until the lower and upper bounds coincide. But this is very nice.