News for hackers. Stuff that matters.

A comment on A Rosetta Stone for Mathematics. Parent comment

Re:A Rosetta Stone for Mathematics by vouaobrasil on Thursday May 09, 2024 @09:57PM (#40314832)
Modern mathematical proofs are long and sometimes contain mistakes, which is why they need several months to verify.
[ Parent | on HN ]

There are no comments on this comment yet.