陶哲轩预言“数学2.0”：AI辅助证明重塑数学研究范式 菲尔兹奖得主陶哲轩提出“数学2.0”愿景，认为AI与大模型将深刻改变数学证明的方式，人类数学家将从手工推导者转型为“证明的指挥者”。本文梳理其核心观点、实验进展与学界反响，展望人机协作下数学研究的未来图景。 观点评论 🕒 2026-10-13 👁 23
OpenAI一次放出700篇AI数学论文，数学界震怒与失语 OpenAI发布700多篇AI生成的数学手稿，声称解决多个公开难题，引发数学界强烈震动。一篇数学博客收集了100多位研究者的回应，从兴奋到恐惧与哀伤。菲尔兹奖得主Duminil-Copin直言“我瘫痪了”，一场关于数学研究意义的争论正在展开。 行业动态 🕒 2026-10-11 👁 111
