3 ms·
I don't think the mathematicians are going to be able to make that work, because journals are already struggling to keep up with their review load, and AI seems
by lacker 1mo ago
I don't think the mathematicians are going to be able to make that work, because journals are already struggling to keep up with their review load, and AI seems like it will make that harder. So a solution that involves "journals will do a lot more effort to review each paper" doesn't seem practical.
It would work better as a bar for hiring, rather than as a bar for publishing.
- Jblx2 1mo agoIt 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 1mo agoJust package the proof as a library and put it in some source code repository like github.
- Jblx2 1mo 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...