Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Modern mathematical proofs are long and sometimes contain mistakes, which is why they need several months to verify.


Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: