News for hackers. Stuff that matters.

A comment on "I'm on a War Footing": Terry Tao and the Crisis in Math. Parent comment

Re:"I'm on a War Footing": Terry Tao and the Crisis in Math by pwdisswordfishq on Monday October 19, 2026 @05:43AM (#50150331)
Theorem provers don't generate proofs. IDEs don't generate software.
[ Parent | on HN ]

There are no comments on this comment yet.