扫描下载APP
其它方式登录
菲尔茨奖得主陶哲轩探讨人工智能时代数学研究的本质危机，指出AI虽能生成正确证明，但数学工作的核心价值在于理解、阐释、共同体接受与理论规范化；他提出五阶段‘问题-解决管道’模型，强调需重构评价体系与学术文化，以应对证明过剩带来的系统性挑战。
陶哲轩与王虹呼吁数学界重视对AI生成证明的‘消化’——即理解、阐释、整理和理论化，而非仅依赖AI产出结果。以森多夫猜想为例，陶哲轩通过人工重构AI证明，不仅使其可读可用，还拓展至更强猜想并大幅简化证明。文章强调数学成果需经共同体检验与知识沉淀，提出以Palomar登记库推动协作，并重构成果优先权认定标准。
数学家陶哲轩将运营近30年的个人主页交给AI智能体迁移重构，一天内完成560篇论文等全部内容的结构化迁移，并在旧Java代码中发现两个隐藏20余年的bug；新系统以YAML为唯一数据源，实现自动化生成与高效纠错，凸显AI在学术数字资产维护中的实用价值。
菲尔兹奖得主陶哲轩12年前预言数学将转向形式化语言与计算机自动验证，如今借助Lean定理证明系统和AI辅助，他主导的Polymath、PFR形式化及Equational Theories等项目成功实现大规模人机协作数学研究，大幅提升证明效率与可验证性。
陶哲轩主导的First Proof项目二期评测完成，采用双盲同行评议机制评估4套AI系统对10道前沿数学难题的解答能力，7道题获学术发表级评价；其中AI在随机偏微分方程等方向展现原创性突破，成本从8美元至4799美元不等，项目将持续推进第三批评测。
谷歌AlphaEvolve发布一周年，已从概念验证升级为深度嵌入核心基础设施的AI系统：助力陶哲轩攻克数学难题、优化量子电路与DNA测序、自主设计下一代TPU芯片，并在金融、物流、药物研发等领域实现商业落地，标志AI递归自我改进（RSI）进入工程现实阶段。
陶哲轩提出数学正从证明稀缺时代进入证明过剩时代，AI大幅加速证明生成与验证，但人类对证明的理解（消化）严重滞后，导致大量‘生肉证明’堆积、抑制学术进展；他强调未来数学家的核心竞争力在于问题选择、工作流设计及证明消化能力，学术评价体系亟需重构。
