标签
陶哲轩讨论了AI如何大幅加速数学研究，减少了为进入研究前沿所需的教育年限。
Martin Shkreli 分享了 OpenAI 的声明，即 AI 让研究人员能够自由追求‘更疯狂’的想法，并引用 Terence Tao 关于 AI 在推动更多实验和发现中的作用的言论。
陶哲轩讨论了AI如何减少认知摩擦，让研究人员能够追求更具创造性和非常规的想法。
陶哲轩与Mark Chen讨论了人工智能如何改变数学研究，从文献搜索到代码生成，以及调整工作流程的必要性。
OpenAI分享了陶哲轩的观点，即AI可以让研究人员更自由地实验“更疯狂”的想法，并探索意想不到的路径。
陶哲轩演示如何使用 Claude Code 作为红队工具，将 Lean 代码风格对齐 Mathlib 官方风格指南，并以 Riemann–Stieltjes 积分的形式化项目为例，展示了 AI 在代码审计和风格对齐中的实用价值。
Terence Tao 指出当前 LLM 背后的数学其实很简单，但真正的谜题在于自然语言数据的中间地带导致模型行为不可预测。
陶哲轩指出，现代LLMs背后的数学很简单，主要使用基本的线性代数和微积分，但模型在不同任务上的性能不可预测性仍是一个谜，原因在于自然语言数据的复杂本质。
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。