陶哲轩等数学家呼吁 AI 放慢速度，警告大模型解题引发证明消化不良

陶哲轩在 SAIR 最新演讲中呼吁 AI 模型公司放慢发展速度，警告大模型快速求解数学难题正导致人类无法理解和消化的“证明消化不良”与知识拥堵。包括陶哲轩在内的 25 位菲尔兹奖得主联名发表公开信，抗议模型公司将数学作为 benchmark 刷分。OpenAI 随后回应称将成立独立顾问小组，但也明确表示该小组不负责对其内部进展提供建议。