News for hackers. Stuff that matters.

A comment on $10M AI Mathematical Olympiad Prize. Parent comment

Re:$10M AI Mathematical Olympiad Prize by electrozav on Monday November 27, 2023 @09:08AM (#38432373)
There's a massive corpus of useful math proofs, just most of them have been implemented and are second nature now
[ Parent | on HN ]

There are no comments on this comment yet.