News for hackers. Stuff that matters.

A comment on Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video]. Parent comment

Re:Terence Tao – Machine-Assisted Proofs (February 19, 2025)... by sebzim4500 on Wednesday February 26, 2025 @04:33AM (#43182211)
Possibly but lean libraries currently contain a tiny fraction of widely known mathematical results.
[ Parent | on HN ]

There are no comments on this comment yet.