数学家称AI实验室夸大能力

数学家 Gerardsans 称，AI 实验室常夸大技术能力，并把 AI 驱动的成果包装成成功；数学家目前仍未退出证明流程，实际协作远比新闻通稿复杂。 他认为，数学家尚未充分了解 AI 的局限及相关软件，缺少数学、AI 和软件知识的读者容易被营销话术误导。其结论并非断言 AI 无法参与证明，而是强调相关能力仍有边界，AI 成果仍需要数学家的专业审视与验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。