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 adrianN on Thursday July 25, 2024 @12:10PM (#41070325)
Even so, having a human formalize the problems and an AI to find machine checkable proofs could be very useful for mathematicians.
[ Parent | on HN ]

There are no comments on this comment yet.