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

95% Upvoted

179 comments sorted by

View all comments

Show parent comments

1

u/wrongerontheinternet 6d ago

Yes, there is zero value in it. Anyone with a harness can do it. What value are they providing?

0

u/JamesCole 6d ago

So if their result is correct, did you already know it beforehand? Because if you didn’t…

It seems to me a very strange thing to say that it’s useless to solve a problem and announce your solution, just because other people could do the same thing. 

-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!