Re:AI solves IMO problems at silver medal level
by sebzim4500 on Thursday July 25, 2024 @03:29PM
(#41072417)
I as someone with a maths degree but who hasn't done this kind of thing for half a decade, was able to immediately guess the solution to (1) but actually proving it is much harder.
[ Parent
| on HN ]
There are no comments on this comment yet.