Casey Muratori
@cmuratori
Programming:
Comics:
가입 March 2009
158 팔로잉 중 77.3K 팬
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:
더 보기
