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 riku_iki on Thursday July 25, 2024 @12:30PM (#41070557)
its not clear if theorem is actual input formal definition, or formal definition was in different form.
[ Parent | on HN ]

There are no comments on this comment yet.