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