Live data from Hacker News

OpenAI claims gold-medal performance at IMO 2025

twitter.com

301–310 of 737 posts

Re: OpenAI claims gold-medal performance at IMO 2025

#301
post #262
post #212

Earlier quoted context omitted.

Cynicism and denial are two very different things, and have very different causes and justifications. I personally don't deny that LLMs are very powerful and are capable and capable of eliminating many jobs. At the same time I'm very cynical about the rollout and push for AI. I don't see in any way as a push for a "better" society or towards some notion of progress, but rather an enthusiastic effort to disempower emp…

AI is kerosene. A useful resource when applied with reason and compassion. Late stage capitalism is a dumpster full of garbage. AI in combination with late stage capitalism is a dumpster fire. Many, perhaps most people conflate the dumpster fire with "kerosine evil!"

> AI in combination with late stage capitalism

What's the alternative here?

Re: OpenAI claims gold-medal performance at IMO 2025

#302

Earlier quoted context omitted.

And yet when working on production code current LLMs are about as good as a poor intern. Not sure why the disconnect.

because competitive coding is narrow well described domain(limited number of concepts: lists, trees, etc) with high volume of data available for training, and easy way to setup RL feeback loop, so models can improve well in this domain, which is not true about typical enterprise overbloated software.

All you said is true. Keep in mind this is the "Heuristics" competition instead of the "Algorithms" one.

Instead of the more traditional Leetcode-like problems, it's things like optimizing scheduling/clustering according to some loss function. Think simulated annealing or pruned searches.

Re: OpenAI claims gold-medal performance at IMO 2025

#303
post #137

The issue is that trust is very hard to build and very easy to lose. Even in today's age where regular humans have a memory span shorter than that of an LLM, OpenAI keeps abusing the public's trust. As a result, I take their word on AI/LLMs about as seriously as I'd take my grocery store clerk's opinion on quantum physics.

Especially since they are saying they don't plan to release this kind of model anytime soon.

Re: OpenAI claims gold-medal performance at IMO 2025

#304

Earlier quoted context omitted.

I can save you the click. Public models (gemini/o3) are less than bronze. this is a specially trained model which is not publicly available.

Is the conclusion that elite models are being withheld from the public, or that general models are not that general?

elite(er) models are always being withheld from the public. Open AI sat on GPT-4 for 8 months before actually releasing it.

Re: OpenAI claims gold-medal performance at IMO 2025

#305
post #9

Some previous predictions: In 2021 Paul Christiano wrote he would update from 30% to "50% chance of hard takeoff" if we saw an IMO gold by 2025. He thought there was an 8% chance of this happening. Eliezer Yudkowsky said "at least 16%". Source: https://www.lesswrong.com/posts/sWLLdG6DWJEy3CH7n/imo-challe...

Off topic, but am I the only one getting triggered every time I see a rationalist quantify their prediction of the future with single digit accuracy? It's like their magic way of trying to get everyone to forget that they reached their conclusion in completely hand-wavy way, just like every other human being. But instead of saying "low confidence" or "high confidence" like the rest of us normies, they will tell you t…

Yes

Re: OpenAI claims gold-medal performance at IMO 2025

#306

The cynicism/denial on HN about AI is exhausting. Half the comments are some weird form of explaining away the ever increasing performance of these models I've been reading this website for probably 15 years, its never been this bad. many threads are completely unreadable, all the actual educated takes are on X, its almost like there was a talent drain

I agree that there's both cynicism and denial, but when I've explained my views I have usually been able to get through to the complainers.

Usually my go-to example for LLMs doing more than mass memorization is Charton's and Lample's LLM trained on function expressions and their derivatives and which is able to go from the derivatives to the original functions and thus perform integration, but at the same time I know that LLMs are essentially completely crazy with no understanding of reality-- just ask them to write some fiction and you'll have the model outputting discussions where characters who have never met before are addressing each other by name, or getting other similarly basic things wrong, and when something genuinely is not in the model you will end up in hallucination land. So the people saying that the models are bad are not completely crazy.

With the wrong codebase I wouldn't be surprised if you need a finetune.

Re: OpenAI claims gold-medal performance at IMO 2025

#307

Earlier quoted context omitted.

I can save you the click. Public models (gemini/o3) are less than bronze. this is a specially trained model which is not publicly available.

Is the conclusion that elite models are being withheld from the public, or that general models are not that general?

The conclusion is that research takes time to productize, and this is cutting-edge research. OAI employees stated that there isn't anything math-specific (think AlphaGeometry) about this model. It's a general system.

Re: OpenAI claims gold-medal performance at IMO 2025

#308
post #205

Earlier quoted context omitted.

Makes sense. Everyone here has their pride and identity tied to their ability to code. HN likes to upvote articles related to IQ because coding correlates with IQ and HNers like to think they are smart. AI is of course a direct attack on the average HNers identity. The response you see is like attacking a Christian on his religion. The pattern of defense is typical. When someone’s identity gets attacked they need to…

[flagged]

Please don't cross into personal attack. We ban accounts that do that.

Also, please don't fulminate. This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html.

Re: OpenAI claims gold-medal performance at IMO 2025

#309

The cynicism/denial on HN about AI is exhausting. Half the comments are some weird form of explaining away the ever increasing performance of these models I've been reading this website for probably 15 years, its never been this bad. many threads are completely unreadable, all the actual educated takes are on X, its almost like there was a talent drain

HN doesn't have a strong enough protection against bots, so foreign influence campaign bots with the goal of spreading negative sentiment about American technology companies are, I believe, very common here.

"Please don't post insinuations about astroturfing, shilling, bots, brigading, foreign agents and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data."

https://news.ycombinator.com/newsguidelines.html

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

Re: OpenAI claims gold-medal performance at IMO 2025

#310

Earlier quoted context omitted.

> These models cannot reason Not trying to be a smarty pants here, but what do we mean by "reason"? Just to make the point, I'm using Claude to help me code right now. In between prompts, I read HN. It does things for me such as coding up new features, looking at the compile and runtime responses, and then correcting the code. All while I sit here and write with you on HN. It gives me feedback like "lock free message…

You raise a far point. These criticisms based on "it's merely X" or "it's not really Y" don't hold water when X and Y are poorly defined. The only thing that should matter is the results they get. And I have a hard time understanding why the thing that is supposed to behave in an intelligent way but often just spew nonsense gets 10x budget increases over and over again. This is bad software. It does not do the thing…

> It does not do the thing it promises to do. Software that sometimes works and very often produces wrong or nonsensical output...

Is that very unlike humans?

You seem to be comparing LLMs to much less sophisticated deterministic programs. And claiming LLMs are garbage because they are stochastic.

Which entirely misses the point because I don't want an LLM to render a spreadsheet for me in a fully reproducible fashion.

No, I expect an LLM to understand my intent, reason about it, wield those smaller deterministic tools on my behalf and sometimes even be creative when coming up with a solution, and if that doesn't work, dream up some other method and try again.

If _that_ is the goal, then some amount of randomness in the output is not a bug it's a necessary feature!

Post reply on HN