自动化证明 - AI话题

2026-10-11

OpenAI公开挂谷猜想等高维数学证明手稿，AI在纯数学领域取得突破性进展。陶哲轩等学者指出“数学2.0”时代来临，证明稀缺时代或终结。这标志着AI正从辅助工具跃升为能够独立攻克顶级数学难题的“研究者”，将深刻改变数学乃至基础科学的科研范式与人类角色定位。

AI快开门