GPT-5.5 参与生成五个 Banach 空间新结果
ChrSzegedy · x · 2026-07-23
- 一篇研究声称，GPT-5.5 不只是解题，而是参与了 Banach 空间理论中 5 个新数学结果 的关键思想与证明策略生成。
- 研究流程是：AI 先提出候选思路与证明路径，再由人类数学家进行严格验证和修订。
- 团队还做了一个 AI 辅助数学发现管线，可以自动检索文献、寻找开放问题并生成候选证明。
- 这项工作想证明的是：语言模型未来可能加速的，不只是“做题”，而是原创数学发现本身。
「研究」频道最新
- VidMap 用 RoMa 粗匹配全帧、精细匹配仅限关键帧 — ducha_aiki · 2026-09-11
- Bug Hunt Bench 作者补充:榜单噪声幅度约 2-3 分 — PawelHuryn · 2026-09-11
- Bug Hunt Bench 放榜:105 个真实埋 bug 横评前沿编码模型 — PawelHuryn · 2026-09-11
- 台球计算模型登 PNAS:二维系统已存在不可判定性,可跑通用计算机 — eigensteve · 2026-09-11
- 新研究:从仿射变换与重力线索求解绝对位姿 — ducha_aiki · 2026-09-11
- LoMa 论文发布 REALLY HardPairs 数据集,入选 ECCV 2026 — ducha_aiki · 2026-09-11