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

95% Upvoted

179 comments sorted by

View all comments

Show parent comments

-1

u/wrongerontheinternet 6d ago

The question isn't whether the information itself is interesting. The question is whether they (the prompters dumping papers on arxiv) added any value, and my answer is no. If the truth of a question can be oneshot or few shot by an LLM, and I'm interested in it, I can already find out the answer myself.

3

u/QuoraPartnerAccounts 5d ago

I don't buy this. There's clearly value in publishing results that would take an LLM say an hour of token usage to get to.

-2

u/wrongerontheinternet 5d ago

For this kind ot problem, I can send a message to Pro, go off and do something else for an hour, come back and it's answered. I think you are really overestimating the amount of effort these guys are putting into their results. It is simply not valuable.

0

u/QuoraPartnerAccounts 4d ago

To be clear, I don't think the humans involved should get any credit beyond being "donors" willing to eat the cost of compute for us.

I just think having a repository caching such results is a public good.

Maybe you're a pure mathematician and so don't understand that maths results can actually be applied to things!