GPT-5.5 参与生成五个 Banach 空间新结果
ChrSzegedy · x · 2026-07-23
- 一篇研究声称，GPT-5.5 不只是解题，而是参与了 Banach 空间理论中 5 个新数学结果 的关键思想与证明策略生成。
- 研究流程是：AI 先提出候选思路与证明路径，再由人类数学家进行严格验证和修订。
- 团队还做了一个 AI 辅助数学发现管线，可以自动检索文献、寻找开放问题并生成候选证明。
- 这项工作想证明的是：语言模型未来可能加速的，不只是“做题”，而是原创数学发现本身。
「研究」频道最新
- 普渡大学打造无 GPS 穿林追踪跑者的自主无人机,LiDAR 全部上芯片 — KordingLab · 2026-10-26
- 研究:LLM 推荐药物集中于同一品牌,均值占比达 97.5% — EricTopol · 2026-10-26
- Papers with Code 宣布开源，采用 Apache 2.0 许可证 — NielsRogge · 2026-10-26
- 斯坦福 NLP COLM 2026 主题演讲:可解释性从被动观测转向因果干预 — stanfordnlp · 2026-10-26
- 中科大论文:若矩阵乘法指数低于 9/4,格密码筛法也将提速 — jedisct1 · 2026-10-26
- LLM 文本水印经典实现:GitHub 开源水印与检测算法 — adnan_hashmi · 2026-10-26