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 throwaway920102 on Friday February 16, 2024 @10:40PM (#39406139)
Well, Einstein and Da Vinci were fallible as well.
[ Parent | on HN ]

There are no comments on this comment yet.