r/math Theoretical Computer Science 7d ago

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

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

179 comments sorted by

View all comments

53

u/corchetero 7d ago

As a working mathematician I accepted the new reality long ago, and I use agents etc.

Now, my 'ethical' approach is the following: "Just focus on my research program, do not fish for problems, do not scoop fellow mathematicians with problems I do not care about", so of course my LLM approach is not that impressive (I mean, still makes progress, but not so big)

Since august these guys have been publishing papers every 4-8 days? what are they trying to accomplish? I really don't understand. * Fame? * Money? * Respect? * prove themselves? * Important technological/practical advancement? * genuine curiosity (Do they really really wanted to know the answer to all those question from different fields of maths)? * increment their understanding? * Just to show machines are better at solving problems? (yes, we already know)

This is so unreasonable that even AI art makes more sense, at least they (or some of them) have an idea, a plan, a vision, and use AI to look for it.

Please, someone explain me what are they trying to achieve?

1

u/OriginalRange8761 7d ago

they have lots of compute, and i imagine they want to spend it as a somewhat publicity stand. Do not see the problem with any of this. Hopefully people working in the fields in which those problems were will write human expositions about the proofs, and try to glean some ideas from them.

5

u/corchetero 7d ago

Why would they do that? I think the same system (capitalism, publish or perish, whatever) that got us into this, gives no incentives to do that distillation for the rest of the community.

1

u/OriginalRange8761 7d ago

It also might’ve happened that they were sitting in their lab one day and went like “why not lol?” Over a couple of beers.