专家批评AI生成数学证明掩盖核心思想

近期多位数学专家与学者对OpenAI等模型生成的数学证明提出批评。研究员Henry指出，AI生成的证明行文带有典型的ChatGPT特征，在基础铺垫上长篇大论，却在不经意间引入最关键的技术步骤，掩盖了核心思想。数学家Timothy Gowers等人也认为，当前AI模型在生成证明时严重缺乏对读者的“心智模型”，无法像人类那样清晰、有逻辑地传达推导过程。

2026-08-02 ~ 2026-08-02 · 2 条相关