News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.