陶哲轩：AI证明将激增，数学进展或不随之加快

发生了什么

陶哲轩分析 AI 辅助证明现状(ICM 2026)

研究治未病的数学前沿可能带来算法设计启发，但拥堵状况分析较为抽象

以下内容来自公开来源，可打开原文继续核验。

01

twitter关注列表 2026年07月28日 09:38

陶哲轩在2026年ICM分享AI证明发展现状，认为基于AI的数学证明可能大幅增加，但其效率提升或被算法瓶颈和人工验证成本限制，IC와合作开展了AI辅助定理验证实验室。

打开原始来源 ↗