News for hackers. Stuff that matters.

A comment on Terence Tao, "Machine Assisted Proof" [video].

Re:Terence Tao, "Machine Assisted Proof" [video] by paulpauper on Wednesday February 14, 2024 @08:11PM (#39377913)
There are many celebrities in other respects, but he is the lone mathematics celebrity.
[ Parent | on HN ]

There are no comments on this comment yet.