陶哲轩博客：AI时代的“无我数学”

陶哲轩博客刊出Karthik C. S.、Amit Sahai与Jie Xue的客座文章，讨论AI发展促使数学家重新思考数学工作的目的与价值，以及数学是被发明还是被发现的争论。文章认为，若数学的价值与产出结果和个人能力紧密绑定，当前的不确定性可能暴露出这一理解本身的困难。

• 社区推出oai-math-revised，修订OpenAI数学文稿2026-10-24
• Thomas Hales谈Lean定理证明器的可靠性与AI2026-10-10
• 陶哲轩回应OpenAI数学成果发布2026-10-08