陶哲轩提出四种数学化框架，AI 重度使用需强人类理解护航

陶哲轩在 SAIR Foundation 的 Science x AI Summit 2026 演讲中提出四种数学化框架，按 AI 使用程度与人类理解程度两个维度把数学世界分为 Pre-math、Misaligned math、Math 1.0 和 Math 2.0 四类。