Casey Muratori
New episode of Wading Through AI is up! Just in time to make sense of the OpenAI/Navier-Stokes situation, Demetri walks me through what's been going on with AI use in formal mathematics: https://www.computerenhance.com/p/what-is-ai-doing-to-math