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:
顯示更多
