扫描下载APP
其它方式登录
谷歌AlphaEvolve发布一周年,已从概念验证升级为深度嵌入核心基础设施的AI系统:助力陶哲轩攻克数学难题、优化量子电路与DNA测序、自主设计下一代TPU芯片,并在金融、物流、药物研发等领域实现商业落地,标志AI递归自我改进(RSI)进入工程现实阶段。
陶哲轩提出数学正从证明稀缺时代进入证明过剩时代,AI大幅加速证明生成与验证,但人类对证明的理解(消化)严重滞后,导致大量‘生肉证明’堆积、抑制学术进展;他强调未来数学家的核心竞争力在于问题选择、工作流设计及证明消化能力,学术评价体系亟需重构。