Reading List: AI for Mathematics A running list of blogs I enjoy reading on the topic of AI for mathematics. Silicon Reckoner - Michael Harris Terence Tao’s blog The Gradient - Peli Grietzer Daniel Litt’s blog Timothy Gowers’ blog