文案库 · 抖音

数学大爆炸，openai直接一次性把722道数学难题给攻克了

流萤加德 · 2026-10-08 · 赞 116 · 收藏 20 · 评论 6 · 读取于 2026-10-08

看原帖 ↗

要点（每条带原文引文）

OpenAI一夜之间公开了722篇数学证明论文，涉及372个顶级难题家族。 — ✓ “放出722篇数学证明” (0:01)
这些成果来自一个尚未对外发布的内部模型，该模型能力比GPT-6 Astra更强。 — ✓ “内部未发布模型” (0:02)
开源仓库在短时间内获得了10K的Star关注。 — ✓ “短时间就拿下了10 K 的 star” (0:09)
具体突破包括：准黎曼猜想被拿下、霍奇猜想在CM阿贝尔簇上被证明、唯一游戏猜想被证明。 — ✓ “准黎曼猜想被拿下” (0:14)
希尔伯特第10问题在有理数域上被否证，矩阵乘法指数压到9/4，整数乘法跌破n log n。 — ✓ “希尔伯特第10问题” (0:22)
产出方式是将约4000道开放问题喂入模型，平均每道题仅消耗3小时思考算力。 — ✓ “平均 3 小时” (0:30)
最终整理成719篇稿件全部公开，其中约42%的一线结论附有零基点证明。 — ✓ “整理成719篇稿件” (0:30)
20多位菲尔兹奖得主联署公开信，称这是AI在数学上的严重错位。 — ✓ “20多位菲尔兹奖得主” (0:43)
该内部模型此前曾宣称解决了纳维-斯托克斯方程问题（千禧年七大难题之一）。 — ✓ “宣称解决了纳维-斯托克斯” (0:05)

要点由 LinkDigest 的模型写出，引文逐字核对过：✓ 在原文里找到了，✗ 没找到。

画面文字（前 10 行）

0:00 Y 004 / 尔伯特第十 / AI / 直接 / 希尔伯特第十问题 / 理数域上 / P(x1, ... / 判定算法 / 整系数 / 是否有算法能判定? / 拿捏数学
0:02 宝玉 / @dotey / Show translation / OpenAI 一次性公开 722 篇 AI 写的数学论文 / 就在最近OpenAI一夜之间 / OpenAI 把一个内部未发布模型做出的数学成果 / 归成 372 组结果，全部放在 GitHub 仓库 open
0:05 宝玉 / @dotey / Follow / Show translation / OpenAI 一次性公开 722 篇 AI 写的数学论文 / OpenAI 把一个内部未发布模型做出的数学成果整体公开了：722 篇 / 归成 372 组结果，全部放在 GitHub 仓库 openai/math 里，谁都能 / 这个模型就是上个月宣称解决了纳维-斯托克斯方程问题（千禧年七 / 难题之一）的那个，它从 9 月 28 日开始训练，能力比 OpenAI 已发 / GPT-6 Astra 更强，目前还没对外开放。 / 372个顶级难题家族被一次性干穿了
0:09 Code / Pull requests / Security and quality / Insights / math Public / main / 2 Branches / 0 Tags / jrl-openai Merge pull request #1 from openai/codex/update-10-7 / lean Update manuscripts and / preprints Update manuscripts and / 就是这个开源仓库 / reasoning traces Initial commit
0:12 THE LINEUP / 阵容有多硬：六项悬案 / 阵容 · 六项悬案 / 336 个结果家族 / 家族 003 准黎曼猜想 / 未解 / 阵容墙 / 阵容有多硬
0:17 FAMILY 032 / 霍奇猜想在 CM 阿贝尔簇上 / 家族 032 · 霍奇猜想 / CM 阿贝尔簇 / 一个上同调里的类
0:22 FAMILY 004 / 希尔伯特第十问题在有理数域上 / 家族 004 · 希尔伯特第十问题 / 在有理数域上 / P(x₁, ..., xₙ) = 0 / 整系数 · 求有理零点 / 是否有算法能判定? / 判定算法
0:30 HOW IT WAS MADE / 更离谱的是产出方式 / 内部模型 / 未发布 / 喂进约 557 道开放问题 / 题卡 · 逐张喂入 / CORE / 推理示意 / 0 篇稿件 / 平均 3 小时 / 思考算力 · 每道 / 产出台 / 更离谱的是产出方式
0:38 AT SCALE / 平均 3 小时 / 每道 · 719 篇全部公开 / 内部模型 / 未发布 / 喂进约 4,000道开放问题 / 题卡 · 逐张喂入 / CORE / 推理示意 / 656 篇稿件 / 平均 3 小时 / 思考算力 · 每道 / 产出台 / 整理成719篇稿件
0:44 联署 · 公开信 / 二十多位菲尔兹奖得主 / 机检门 → 学界台 / 学界台 / 20多位菲尔兹奖得主联署公开信

逐字稿

数学界今夜集体无眠。
就在最近，OpenAI 一夜之间放出722篇数学证明，372个顶级难题家族被一次性干穿了。
就是这个开源仓库，短时间就拿下了10 K 的 star。
阵容有多硬？
准黎曼猜想被拿下，顺带排除朗道西格尔零点。
霍奇猜想在 C M 阿贝尔簇上被证明，唯一游戏猜想被证明。
希尔伯特第10问题在有理数域上被否证，矩阵乘法指数压到9/4，整数乘法跌破 n log n。
更离谱的是产出方式，一个还没发布的内部模型，喂进约4000道开放问题，平均每道只烧三小时思考算力，整理成719篇稿件全部公开。
其中42%左右的一线结论附了零基点证明。
20多位菲尔兹奖得主联署公开信，说这是 AI…

这里只显示前 300 字。登录后免费看完整逐字稿（已读过的链接不扣积分）

读了什么

图上文字 78 行
逐字稿 12 段 (55 / 55 s)
画面文字 10 行，带出现时间
抽帧间隔不超过 11 秒
没读到：comments not read

只有计数和一句样例；全文留在原帖。

LinkDigest

读你自己的链接

贴一条小红书、抖音、B站、微博、公众号、YouTube 或 TikTok 链接，几十秒后拿到文案、逐字稿、图上文字和要点。

digest console

resolvefetchreaddigest

Try an example below, or paste your own link.

try

数学大爆炸，openai直接一次性把722道数学难题给攻克了

要点（每条带原文引文）

画面文字（前 10 行）

逐字稿

读了什么

读你自己的链接

相关内容