#Mathlib代码审查

陶哲轩用Claude Code做数学证明审查：红队任务比蓝队更有价值

陶哲轩演示如何用Claude Code辅助Lean数学形式化工作，重点展示AI在代码审查、风格校验和重构等红队任务中的实际应用，揭示AI辅助数学研究中常被忽视的质量保证维度。