6 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 28d 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 28d agoJust package the proof as a library and put it in some source code repository like github.
- Jblx2 28d 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...