扫描下载APP
其它方式登录
菲尔兹奖得主陶哲轩12年前预言数学将转向形式化语言与计算机自动验证，如今借助Lean定理证明系统和AI辅助，他主导的Polymath、PFR形式化及Equational Theories等项目成功实现大规模人机协作数学研究，大幅提升证明效率与可验证性。
陶哲轩主导的First Proof项目二期评测完成，采用双盲同行评议机制评估4套AI系统对10道前沿数学难题的解答能力，7道题获学术发表级评价；其中AI在随机偏微分方程等方向展现原创性突破，成本从8美元至4799美元不等，项目将持续推进第三批评测。
谷歌AlphaEvolve发布一周年，已从概念验证升级为深度嵌入核心基础设施的AI系统：助力陶哲轩攻克数学难题、优化量子电路与DNA测序、自主设计下一代TPU芯片，并在金融、物流、药物研发等领域实现商业落地，标志AI递归自我改进（RSI）进入工程现实阶段。
陶哲轩提出数学正从证明稀缺时代进入证明过剩时代，AI大幅加速证明生成与验证，但人类对证明的理解（消化）严重滞后，导致大量‘生肉证明’堆积、抑制学术进展；他强调未来数学家的核心竞争力在于问题选择、工作流设计及证明消化能力，学术评价体系亟需重构。
