数学界对 AI 暴力求解的警惕：陶哲轩等学者审视定理证明走向

包括陶哲轩、邓煜在内的多位数学家与菲尔兹奖得主，就自动化定理证明与大模型暴力搜索展开反思。学界的担忧集中于单纯的枚举与机器求解是否会消解人类理解数学结构的洞察力。当算法接管证明的推演，数学探索的审美与直觉正面临新的审视。