⌘ K
… 读取采集状态 同步中...
雷
原文
DeepTech深科技· DeepTech深科技·· 6 天前精选AI 评分77

OpenAI 公布 722 篇数学手稿,部分证明获计算机验证

OpenAI公布722篇数学手稿,其中一部分可被计算机逐行验证

AI 导读

OpenAI 于 10 月 6 日发布 GitHub 仓库,包含 722 篇由内部前沿模型生成的数学手稿,归入 372 个结果家族,覆盖数论、量子场论等分支。平均每个结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力,部分手稿附带 Lean 形式化证明,已获计算机逐行验证。

推荐理由

OpenAI 公开了 722 篇数学手稿及 GitHub 仓库,引入了机器验证机制,读者可据此了解 AI 介入数学开放问题求解的最新边界。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:DeepTech深科技 · mp.weixin.qq.com