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 nnarek on Thursday July 25, 2024 @12:56PM (#41070813)
yes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems
[ Parent | on HN ]

There are no comments on this comment yet.