GPT-5.5 参与生成五个 Banach 空间新结果
ChrSzegedy · x · 2026-07-23
- 一篇研究声称，GPT-5.5 不只是解题，而是参与了 Banach 空间理论中 5 个新数学结果 的关键思想与证明策略生成。
- 研究流程是：AI 先提出候选思路与证明路径，再由人类数学家进行严格验证和修订。
- 团队还做了一个 AI 辅助数学发现管线，可以自动检索文献、寻找开放问题并生成候选证明。
- 这项工作想证明的是：语言模型未来可能加速的，不只是“做题”，而是原创数学发现本身。
「研究」频道最新
- AnyTop 只用每种拓扑 3 个样本就能生成新骨架动作 — rsasaki0109 · 2026-07-23
- Garfield 语料分析盘点 3654 个 Codex 文件和 1499 条转录 — zeeg · 2026-07-23
- 新论文用粗网格引导分层采样做 3D 头部重建 — maier_ak · 2026-07-23
- 新博客主张：归因应沿着训练时的优化几何来做 — aryaman2020 · 2026-07-23
- 美国能源部公布 Genesis Mission 首批 AI 科研项目 — donutloop · 2026-07-23
- SGF 用两阶段训练补上长视频外推的记忆梯度 — Junhao Zhuang · 2026-07-23