共 2 篇相关文章
菲尔兹奖得主陶哲轩分享AI辅助数学研究的深刻体会：AI通过消除认知摩擦、降低试错成本，让数学家敢于探索更大胆的方向。他认为AI辅助科研已准备好进入主流，并倡导开放研究过程而非只展示结果。
陶哲轩演示如何用Claude Code对Lean 4数学证明代码进行Mathlib风格审查，涵盖命名规范修正、隐式参数重构、自动化扫描等实战流程，展示AI在数学形式化中的红队角色与人机协作边界。
