陶哲轩用ChatGPT生成Lean代码，爆改科研范式

水木社区手机版

主题:陶哲轩用ChatGPT生成Lean代码，爆改科研范式
vinbo|2025-11-07 11:40:04|
mp.weixin.qq.com/s/xUr8iOqA3n1mqjti0sfqmA
--
FROM 202.120.11.*