25 位菲尔兹奖得主怒批 OpenAI:把数学难题当”刷榜工具”,722 篇论文再掀风波
10 月 6 日,OpenAI 在 GitHub 上一次性放出 722 篇数学手稿,覆盖数论、拓扑、代数、几何、分析与理论计算机科学等方向,合计 372 个"成果族",并附带 Lean 形式化证明文件。Sam Altma…
主题标签
10 月 6 日,OpenAI 在 GitHub 上一次性放出 722 篇数学手稿,覆盖数论、拓扑、代数、几何、分析与理论计算机科学等方向,合计 372 个"成果族",并附带 Lean 形式化证明文件。Sam Altma…