从关系结构看数学发现:一种解读 OpenAI 数学成果的概念框架
Endless-monkey · reddit · 2026-09-20
作者针对 OpenAI 报告的「AI 协助提出 Navier–Stokes 有限时间爆破构造并完成 Lean 形式化」这一结果,提出一个解读性框架,试图回答:一个主要学习符号间关系的系统,如何构造出真正新的数学对象?
- 框架起点是一条最小链条:difference → relation → comparison → residual → recursion → closure。
- 差异先于意义:LLM 不从人类意义上的语义出发,而是从 token 在习得表征空间中的相对位置(差异)开始。
- 比较生成结构:Transformer 的计算本质上是关系性的——表征不断依据与其他表征的关系被改写;改写结果又成为下一轮输入,即递归。
- 残差(residual):一次比较 C(a,b)=(q,r) 中,除已解决部分 q 外,未被现有结构吸收的 r 必须被保留;难证明之难,常在于某些约束尚无法同时表达,缺失的不是新事实,而是让不相容要求变得可共同表达的新表征。
- 闭包不是重复:真正的闭包是结构能作用于自身先前的输出,而非简单回到起点。
作者强调这不是对神经网络的字面理论,而是「表征的概念几何」,并刻意不猜测 OpenAI 模型未公开的内部机制。
「漫话AGI」频道最新
- Thinking Machines 联创 Schulman：目标驱动胜过点子驱动 — tokenbender · 2026-09-20
- DeepMind 研究员列 AI 九大赋能方向,称武器化 AI 需外交应对 — NandoDF · 2026-09-20
- Ezra Klein：不是我们在失控，是我们主动把 AI 控制权交出去 — Michael_J_Black · 2026-09-20
- 牛津学者 Carissa Véliz 撰文:AI 末日预言是被制造出来而非预测的 — CarissaVeliz · 2026-09-20
- 「疯狂富有的贝叶斯派」：Anthropic 绰号被指 CVPR 2019 玩过 — mariyaivasileva · 2026-09-20
- 图灵奖得主 Boaz Barak 约辩 Scott Alexander:AI 不会灭人类 — tszzl · 2026-09-20