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 SonOfLilit on Saturday July 27, 2024 @04:01AM (#41085129)
Formalization is mechanical work, lets leave it for computers to do :)
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by Davidzheng on Monday July 29, 2024 @10:00AM (#41100509)
I completely agree
[ Parent | on HN ]