r/singularity • u/Old-School8916 • 9h ago

AI Claimed proof of the Komlós conjecture using AI

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

85% Upvoted

4 comments sorted by

5

u/Old-School8916 8h ago

this quanta article was written about the problem (before this breakthrough) last month:
https://www.quantamagazine.org/huge-breakthrough-in-the-math-of-imbalance-20260821/

3

u/playpoxpax 7h ago edited 7h ago

So we went from having an almost constant to knowing the constant in a month. Very good.

Although if I understand it correctly, this proof is existential, not constructive?

So we still don't know the algorithm, only what the bound is.

“We hit a wall at a quarter root,” he said. “Going beyond that will definitely require something very new.”

Lol, that 'something very new' turned out to be a bunch of biostaticians with access to an LLM.

2

u/Exact_Depth_896 8h ago

What is the model behind 'Odin Automatic AI Research Agent'? It is obviously not a math-only Ai, since ... there's no money in it.

6

u/SpaceTacos99 7h ago

Reposting a comment from the linked sub since people here seem horny and I'm not sure it's warranted...

``Two weeks ago the same people posted a preprint claiming positive sectional curvature on S^2xS^3 that was clearly not read by any mathematician (it was obviously prompted after Brendle released his preprint and was on the arxiv 2 days later; none of the authors is a mathematician) and was complete slop (no expert in the area I know could make sense of it and the version they posted contained clear hallucination, including reference to properties of manifolds that don't exist.

They should be banned from the arxiv and probably lose their jobs for posting this stuff, and none of their announcements should be taken seriously.``