News for hackers. Stuff that matters.

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

Re:Terence Tao, "Machine Assisted Proof" [video] by Sakos on Wednesday February 14, 2024 @09:25PM (#39378407)
Abstractly, sure. That doesn't help me at all when doing any of the exercises.
[ Parent | on HN ]

There are no comments on this comment yet.