OpenAI模型被称推动多个数学突破，但数学家担忧证明理解与学科训练被削弱。
推荐理由：核心不只是AI又解题，而是模型开始产出可验证的新数学结果；若专家只能审阅而少做推导，数学研究的技能传承和评价体系会被重塑。
阅读原文