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.