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 hyfgfh on Thursday July 25, 2024 @10:29PM (#41075374)
> First, the problems were manually translated into formal mathematical language for our systems to understand.

Some people call this programming

[ Parent | on HN ]

There are no comments on this comment yet.