Appearance
共 3 篇文章
全球顶级数学家陶哲轩用Claude Code处理论文审稿意见,15分钟搞定12条反馈,11条自动修复,1条给出两方案,还抓出审稿人的拼写错误。陶哲轩感叹:重来一次第一轮就用AI。
数学家陶哲轩警告AI正让数学进入「证明过剩」时代。AI生成证明速度远超人类消化速度,大量「生肉证明」堆积GitHub。他直言:只会解题没用,未来最有价值的是验证和消化证明。
2026年5月12日硅谷将举办Science for AI峰会,陶哲轩联合诺奖、图灵奖得主领衔,全球顶尖科学家与企业界首次集结探讨AI与科学融合。