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

Yeah, it's true, there is politics in mathematical truth, for better or worse. That is slowly changing with the adoption of proof assistants, I think. A lot of well-known names (like Tao and Conrad for instance) are starting to formalise large swathes of modern maths in Lean, for instance. Perhaps it will never get to a point where it is so easy that formal proof is required to publish a result, but who knows? It seems like a start.


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: