Thoughts on math, AI, coding, and other things
Written without AI Everyone is still struggling to understand what exactly happened on October 6 when OpenAI dropped its 372-theorem “mathocalypse”. Is AI "the end of math as we know it"? Is mathematics research as a human enterprise dead, or is AI only going…
In the wake of OpenAI's announcement of their solution to the Navier-Stokes problem, and the many other announcements of AI-discovered research breakthrough we've been seeing on a weekly — sometimes daily — basis, it's safe to say mathematicians are anxious…
Related post: A historic day for mathematics The last several weeks have seen a dizzying array of announcements of noteworthy (and in some cases very significant) mathematical advances discovered autonomously by AI models. Here is a timeline of the recent…
I used to read a lot of science-fiction growing up, including voraciously reading anything I could lay my hands on that was written by Isaac Asimov. It's been fun to see how over the last few years Asimov's work has become more relevant than ever: as humanity…
May 20, 2026 will be remembered as an important milestone in the history of mathematics. It marks the first time when a breakthrough on an important, well-known mathematics research problem was made by an artificial intelligence.
In my career as a research mathematician, I've always enjoyed working on "ordinary" research problems - the sort of problems that advance the state of knowledge in my field, are interesting to think about, occasionally lead to genuinely beautiful new ideas…