Every time I’ve organized my thoughts sufficiently to finally write a proper blog post about the impact of AI on mathematical research, something massive happens which causes me to delay. I was preparing to wrote a post last week when I heard about the formalization of Fermat’s Last Theorem in Lean. And I was preparing to write a post this week when the news broke about an AI-assisted solution of the Millenium Prize Navier-Stoker problem. Rather than delay again (what will the big breakthrough be next week?), let me just record some thoughts quickly while I have a few moments to spare before heading to bed. This will not be as organized, or as carefully thought out, as I had hoped, but the speed at which the mathematical landscape is changing does not seem to allow for a leisurely collection of thoughts. I imagine I will come back to many of these topics in the future.