AI正在加速数学定理的发现

evilrabbit_ · x · 2026-07-12

作者观察到近期数学领域（尤其是组合数学）的新定理产出正在加速。这背后的驱动力包括AI直接证明、AI辅助证明、AI启发新证明，以及人类数学家在AI全面接管前抓紧证明的紧迫感。