https://www.jleake.com/blog/Ideas, predictions, and hope for the future of research mathematics.en https://www.jleake.com/blog/proving-models/https://www.jleake.com/blog/proving-models/Mon, 05 Oct 2026 12:00:00 GMTAI companies are using open conjectures to prove intelligence of their models. We don't like it, but maybe it can push us to find harder and more interesting conjectures that frontier models can't solve.https://www.jleake.com/blog/first-post/https://www.jleake.com/blog/first-post/Sun, 13 Sep 2026 12:00:00 GMTAfter the Navier-Stokes solution, I was gripped by anxiety about the future of my career and of research mathematics generally. What followed was then my first attempt at some idea of how research math could continue, the idea of "human compression".