OpenAI 发布 722 篇数学手稿,称解决数百个开放问题
OpenAI 发布了一批共 722 篇手稿,覆盖 372 个结果族,称其中包含对“数百个”开放数学问题的解答,这些结果由一个未发布的前沿模型产出。据独立顾问组织 AGMAI 称,这批成果此前已被期待数周,OpenAI 在 9 月曾表示其模型“解决了数学大部分领域 100 多个长期开放问题”。
OpenAI 发布了一批共 722 篇手稿,覆盖 372 个结果族,称其中包含对“数百个”开放数学问题的解答,这些结果由一个未发布的前沿模型产出。据独立顾问组织 AGMAI 称,这批成果此前已被期待数周,OpenAI 在 9 月曾表示其模型“解决了数学大部分领域 100 多个长期开放问题”。
Mistral 发布 1 万亿参数模型 Mistral Large 4(昵称 Le Chonk),任何人可使用和定制,目前处于预览阶段,最终版本将在本月底推出。
OpenAI 在 GitHub 发布 372 项由内部前沿模型生成的数学结果,每项声称解决或推进了一个开放问题,其中包含对重要计算机算法的改进以及与黎曼猜想相关的进展。
推荐理由:OpenAI 把 372 项 AI 生成的数学结果直接发到 GitHub,读者可借此观察学术评审流程与 AI 产出速度之间的张力。
OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4000 个研究问题的评估,平均每个结果约用 3 小时 ChatGPT Pro 思考算力。
推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可据此了解 AI 数学研究的规模与验证争议。