News for hackers. Stuff that matters.

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

Re:Terence Tao, "Machine Assisted Proof" [video] by rq1 on Wednesday February 14, 2024 @07:43PM (#39377680)
Terence Tao is a machine to me. :)
[ Parent | on HN ]

There are no comments on this comment yet.