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 sebzim4500 on Thursday July 25, 2024 @03:33PM (#41072472)
The uses of `nlinarith` are very straight forward manipulations of inequalities, they would be one or two steps for a human too.
[ Parent | on HN ]

There are no comments on this comment yet.