Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Nash equilibria in Ballmer's binary-search interview game. Parent comment
A world in which AI churns out amazing proofs would be pretty radical though.
There are no comments on this comment yet.
A world in which AI churns out amazing proofs would be pretty radical though.