陶哲轩

数学是精确语言与科学基础，AI擅长广度探索但需人类守护深度思考，陶哲轩揭示数学与AI的互补关系。

陶哲轩12年前预言AI将改变数学研究，如今通过Lean和AI协作实现形式化证明，推动数学研究进入新阶段。

arXiv新规要求署名作者承担生成式AI论文中存在不当内容的责任，且处罚力度较大。陶哲轩附议认为该政策有助于推动学术规范。

陶哲轩利用Claude Code在15分钟内高效处理论文审稿意见，自动修正错别字与LaTeX问题，甚至反向发现审稿人错误，展现AI在科研写作中作为‘副驾驶’的实用价值。

无法获取文章内容，链接需验证或存在访问限制。

文章标题提及AI生成内容泛滥及陶哲轩对解题能力的评论，但正文无法访问，信息无法评估。