Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on AI solves IMO problems at silver medal level. Parent comment
> AlphaProof solved two algebra problems and one number theory problem by determining the answer and proving it was correct.
There are no comments on this comment yet.
> AlphaProof solved two algebra problems and one number theory problem by determining the answer and proving it was correct.