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:
もっと見る
