Re:Terence Tao, "Machine Assisted Proof" [video]
by thatguysaguy on Thursday February 15, 2024 @03:50AM
(#39380466)
Completely agreed on this one, although it's maybe more like 70% for me. I did leave an exception for that specifically in my original comment.
[ Parent
| on HN ]
There are no comments on this comment yet.