AI solves IMO problems at silver medal level

Re:AI solves IMO problems at silver medal level by visarga on Thursday July 25, 2024 @01:06PM (#41070933)

> just fumbling its way around until it guessed correctly

As opposed to 0.999999% of the human population who can't do it even if their life depends on it?

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by logicchains on Thursday July 25, 2024 @04:14PM (#41072882)

I guess you mean 99.9999%?

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by dsign on Thursday July 25, 2024 @01:45PM (#41071324)

I was going to come here to say that. I remember being a teenager and giving up in frustration at IMO problems. And I was competing at IPhO.

[ Parent | on HN ]

Re:AI solves IMO problems at silver medal level by kevinventullo on Thursday July 25, 2024 @07:43PM (#41074606)

Yeah, as a former research mathematician, I think “fumbling around blindly” is not an entirely unfair description of the research process.

I believe even Wiles in a documentary described his search for the proof of Fermat’s last theorem as groping around in a pitch black room, but once the proof was discovered it was like someone turned the lights on.

[ Parent | on HN ]