News for hackers. Stuff that matters.

A comment on AI solves IMO problems at silver medal level. Parent comment

Re:AI solves IMO problems at silver medal level by falcor84 on Thursday July 25, 2024 @12:24PM (#41070483)
And say they did use 10% of all GCP? Would it be less impressive? This is a result that was considered by experts to be far beyond the state of the art; it's absolutely ok if it's not very efficient yet.

Also, for what it's worth, I'm pretty sure that I wouldn't have been able to solve it myself in three days, even if I had access to all of GCP, Azure and AWS (except if I could mine crypto to then pay actual IMO-level mathematicians to solve it for me).

[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by nnarek on Thursday July 25, 2024 @12:56PM (#41070813)
yes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by data_maan on Thursday July 25, 2024 @05:40PM (#41073684)
Which experts said that?

I don't think that's the case at all. The writing was already on the wall.

[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by SonOfLilit on Friday July 26, 2024 @08:17AM (#41077974)
The writing was on the wall for the last year and a half (in fact I lost a bet to an IMO medalist about AI getting IMO gold by 8/2023) but three years ago this was unimaginable.
[ Parent | on HN ]