---
title: What Is AI Doing to Math?
link: https://www.computerenhance.com/p/what-is-ai-doing-to-math
source: computerenhance-com
published: 2026-09-10T16:01:59Z
updated: 2026-09-10T16:01:59Z
first_seen: 2026-09-19T21:30:23.395188495Z
summary: Listen now (113 mins) | A special double-episode of Wading Through AI covering the recent headlines in the world of formal mathematics.
content: extracted
html: 2026-09-10-what-is-ai-doing-to-math.html
preview:
  file: 2026-09-10-what-is-ai-doing-to-math.preview-7b362c4c8b5c.webp
  width: 256
  height: 128
  color: '#9e9679'
images:
- source: https://substackcdn.com/image/fetch/$s_!up9a!,w_1200,h_600,c_fill,f_jpg,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3b6aec0c-5af9-4bcc-9901-29935ac07be2_1920x1080.png
  original:
    file: 2026-09-10-what-is-ai-doing-to-math.image-dea638fc518f.jpg
    width: 1200
    height: 600
  color: '#f8fad7'
extra:
  audio_url: https://api.substack.com/feed/podcast/215000996/c0c59fdab51f2b770f342fd3de254765.mp3
  duration_seconds: 6752
---

Over the course of 2026, AI has advanced from being a mathematician’s assistant to, in some cases, doing the majority of the work behind important new discoveries. What does this mean for formal mathematics as a discipline?

In this episode of *Wading Through AI*, Demetri walks Casey through three recent high-profile results made possible by the use of AI, and discusses the potential impact of this new level of automation on the field going forward.

*As always, the art for the thumbnail, podcast cover, and banner of Wading Through AI were all hand-drawn by [Anna Rettberg](https://x.com/aerettberg) in her signature style. We do not currently use generative AI here at [Molly Rocket](https://mollyrocket.com/) .*