OpenAI发布近400项AI数学成果，数学家称需数年消化

OpenAI本周突然发布近400项AI生成的数学结果，分布在700多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向。数学家称需数年才能消化这些内容。 OpenAI称719份手稿中仅300项顶层结果已完成形式化，约占42%，并表示“将在获得更多形式化结果后更新仓库”。该公司还称将资助一系列数学相关的研讨会和会议，但未提供具体细节或时间安排。OpenAI未披露发布背后的模型、所用提示词或模型尝试的完整问题集。 截至10月8日，相关记录已列出大量更正，包括对十几份手稿的修订，以及因一处“符号错误”撤下三篇论文，OpenAI称该错误使一项论证失效。

AI 根据报道生成 · 16 天前更新