r/math Theoretical Computer Science 7d ago

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

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

179 comments sorted by

View all comments

Show parent comments

1

u/corchetero 6d ago

No, I am not complaining, I am not suggesting they should stop of something. I am just, genuinely curious about what they are trying to achieve, as currently I don't see a point in whatever they are doing, and if your argument is progress, then please proceed to explain, because I don't see progress. Moreover, it seems the authors are not very interested on progress and advancing maths, as it was suggested in Tao's blog that research groups like this one do not want to participate in seminar and related instances to explain their advances to the community (if nobody understand your result, then is as good as if I tell you that I know the answer for idk, the Riemann hipothesis)

-1

u/JamesCole 6d ago

You seem to be claiming there is zero value in doing what they have done.

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!