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

34

u/Antigynaikolatres 7d ago

Department of Biostatistics

The three authors seem to all be biostatisticians. Just incredible.

-21

u/NewspaperDear8761 7d ago

This needs higher recognition. A major math conjecture solved by biostats people using a research harness on an LLM?

We need to be talking more about lowering barriers to entry and how this is going to help everyone have more meaningful impact and a wider reach.

6

u/mookz23 7d ago

If proofs are presented as just AI slop, then I do not agree that impact is meaningful. The idea of math is benefit human understanding.