跳到正文
原文
The Verge · AI· Robert Hart·· 2 小时前精选AI 评分80

OpenAI 发布包含数百个开放问题解的722份数学手稿

OpenAI drops another batch of mathematical breakthroughs

AI 导读

OpenAI 通过 GitHub 仓库发布了由未公开前沿模型生成的722份数学手稿,涵盖372个结果家族,其中包含数百个长期存在的开放问题的解决方案。这一发布延续了该公司在数学领域的一系列突破,引发了数学界对研究伦理和学术规范的担忧。

根据独立咨询组织 AGMAI(数学与人工智能咨询组)的说法,这些结果是在9月宣布模型已解决100多个长期开放问题后发布的。具体细节包括:平均每个结果使用了相当于ChatGPT Pro三小时的“思考”时间;部分手稿包含了模型的推理摘要、计算资源估算以及尝试解决的问题数量统计。AGMAI此前曾建议AI实验室应通过既定的学术渠道及时发布数学成果,并披露模型名称、提示词和计算成本等细节,同时反对将数学成果的发布作为营销工具。

事实层面,此次发布确实涉及大量数学证明,且部分结果可能影响千禧年大奖难题的研究方向。推断层面,这种集中式、高算力的数学突破模式正在重塑基础科学研究的节奏与门槛。猜测层面,未来是否会有更多类似规模的非数学领域成果以同样方式发布,仍取决于监管框架与社区接受度。

推荐理由

材料披露了722份手稿与3小时思考成本,可校正对模型数学推理能力与算力效率的评估。

来源:The Verge · AI · theverge.com