Casey Muratori
@cmuratori
Programming:
Comics:
Joined March 2009
158 Following 77.3K Followers
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:
Show more
