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 zozbot234 on Thursday February 15, 2024 @05:23AM (#39381030)
It can say "let's think this through step by step", which is good enough for most cases.
[ Parent | on HN ]

There are no comments on this comment yet.