7 ms·
It will be interesting to see the evolution of journals in the next ten years for sure. Have they outlived their usefulness? Maybe everyone will just upload p
by Jblx2 2mo ago
It will be interesting to see the evolution of journals in the next ten years for sure. Have they outlived their usefulness? Maybe everyone will just upload papers to arXiv, along with a copy of the formal proof.
- rowanG077 2mo agoJust package the proof as a library and put it in some source code repository like github.
- Jblx2 2mo agoApparently, it is Palomar: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ https://terrytao.wordpress.com/2026/08/18/palomar-a-registry...