News for hackers. Stuff that matters.

A comment on Machine-Assisted Proof by Terence Tao [pdf]. Parent comment

Re:Machine-Assisted Proof by Terence Tao [pdf] by xaml on Saturday December 28, 2024 @09:51AM (#42531394)
Why would it not make any money?
[ Parent | on HN ]

There are no comments on this comment yet.