What Is AI Doing to Math?

· Casey Muratori · Sept. 10, 2026, 4:31 p.m.
AI mathematics Podcast Formal Mathematics
Summary
The blog post is a double-episode podcast discussing the implications of AI on formal mathematics and recent headlines in that area, hosted by Casey Muratori.
Read full post on www.computerenhance.com →
AUTHOR
Advertise
Sponsor diff.blog
Put your product in front of developers who read and write about their craft. One exclusive sponsor at a time.
Become a sponsor →