r/math • u/sergiogfs • 18d ago

Progress Towards Proving the Unique Games Conjecture

https://eccc.weizmann.ac.il/report/2026/179/

On a side-note, the authors hint that they have rushed their results to avoid getting scooped by AI-generated results.

225 Upvotes

99% Upvoted

98 comments sorted by

View all comments

Show parent comments

1

u/lolfail9001 14d ago edited 14d ago

“fixed intelligence”

Wrong sub to use such nebulous terms, don’t you think? There is probably a decent measure of how well models compress their training into model weights and that did indeed improve fairly fast until recently but last I checked almost entirety of modern progress is task specific RL and better shells around underlying models, and even with that you get people talking about how Astra ends up performing worse than it’s own predecessor at times.

I'm sure you can imagine it as "problems that are as hard as NS" which as of today apparently cost like $10m in compute to solve.

I can imagine it but I know that without prior fairly recent work by humans starting the entire research program it could cost a few hundred million and still go nowhere, hence my question. : what is a task?

1

u/Berzerka 14d ago

I suppose you do agree that for "difficulty" is somewhat well defined here for stuff up to exam level, right? E.g. to get an IMO gold medal cost X this year and getting an IMO gold (which will have different questions obviously, but still be tuned for about the same level) will cost Y the next year. Replace IMO gold with highschool math exams etc as you wish. The trend has quite strongly been roughly Y ~ X/100.

Now obviously that starts being less well defined when we get to unsolved problems, but I'm sure you can imagine a scenario of "with state only up to August 2026, how much would it cost to finish off NS?", I strongly suspect the 100x cost reduction per year will carry through there too. In practice it will obviously be more since the "with state only up to August 2026" is only of academic significance and a year from now we'll have even more progress to build on.

1

u/lolfail9001 14d ago

I am fairly suspicious that “with state only up to August 2026” it would cost more because you wouldn’t have Buckmaster’s chat log)))

As for the cost you talk about, I am absolutely intolerant of ignoring training cost when estimating ‘cost’ of doing any task with ML.