Many people with relevant expertise think there's a real chance that AI could kill us all in the not too distant future. Others disagree. I've written a post, aimed principally at mathematicians, detailing my struggles to decide what to make of this.

The advisory group on mathematics and artificial intelligence has just published a set of recommendations concerning the responsible release of mathematical results generated by AI companies using internal models. 1/3

It's interesting to think about how much, if at all, the positive sentiments expressed here are appropriate to mathematicians. His main reason for optimism comes at the end: that now that "chiselling code by hand" is no longer necessary, "we can build amazing things". 1/3

Martin Hairer, one of the other members of AGMAI (the advisory group on mathematics and AI), has written a post on the Proofs and Prompts blog that will I hope clarify what our purpose is. The rest of the blog is highly recommended too.

I've written a blog post responding to the letter about maths and AI signed by 25 Fields medallists. As with the Leiden Declaration, I didn't sign it, but I agree with much of it and welcome its existence.

I have signed a letter from 42 fellows and foreign members of the Royal Society to Paul Nurse, the president of the society, concerning the need to treat the serious risks of AI as an emergency.

I'm incredibly excited to announce the founding of the Mathematical AI safety Institute (MAISI) AI safety needs more foundational theoretical development, and mathematicians have the skills and the mindset to help! MAISI is an independent institute with visiting positions ranging from 1 semester to 2 years. Our goal is to get mathematicians up to speed and working on research directions in AI safety as quickly as possible. There is important work to be done, and there is real progress to be made. YOU can help! Applications are open now! MAISI is aiming to hire 10-30 mathematicians to join us in the Bay Area by January, and scale up to 30-100 for September 2027. If you're a mathematician interested in channeling your skills toward the most important problem of our time, please apply today!

Hi! I’ve been tweeting a lot about the state of math recently, but failing to really express the whole of my opinion. So I went and wrote about it long form. Here it is! Check out my first substack article :D

I write about this in more detail in a blog post with a guest contribution from Isaac Rajagopal, a student at MIT on whose work ChatGPT built, who gives his assessment of the level of mathematical ability displayed by the model.

I've recently got in on the act of getting AI to solve open problems in mathematics. More precisely, I gave some questions asked by Melvyn Nathanson to ChatGPT 5.5 Pro, to which I have been given access, and it answered them. 🧵