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 _heimdall on Friday July 26, 2024 @01:48PM (#41080625)
That's totally fair, though wouldn't the algorithm here have to reduce the math proofs to arithmetic that can be computed in silico?
[ Parent | on HN ]

There are no comments on this comment yet.