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.
replyJust package the proof as a library and put it in some source code repository like github.
replyApparently, it is Palomar:
replyhttps://terrytao.wordpress.com/2026/08/18/palomar-a-registry...