过去几个月，AI 帮他在读博期间钻研多年、最在乎的那些问题上接连取得突破。当世最伟大的数学家之一陶哲轩，在 2026 年国际数学家大会（ICM）上专门发表了题为《AI 时代的数学》的演讲，说的几乎是同一件事。他造了一个词叫”证明的消化不良”（proof indigestion）——AI 生成证明的速度已经远超人类审核的速度，数学正从一个证明稀缺的时代冲进一个证明过剩的时代。
过去几个月，AI 帮他在读博期间钻研多年、最在乎的那些问题上接连取得突破。当世最伟大的数学家之一陶哲轩，在 2026 年国际数学家大会（ICM）上专门发表了题为《AI 时代的数学》的演讲，说的几乎是同一件事。他造了一个词叫”证明的消化不良”（proof indigestion）——AI 生成证明的速度已经远超人类审核的速度，数学正从一个证明稀缺的时代冲进一个证明过剩的时代。