GPT-5.6 Pro 泛化了一个数学构造
burny_tech · x · 2026-07-20
作者称自己用 GPT-5.6 Pro 把一个数学构造做了泛化，并整理成了不同 family，还附了正式写作链接。
配图是一页密集的数学定理/证明内容，说明这不是普通玩梗，而是一次针对具体模型在数学推理上的实测记录。帖子重点在于：GPT-5.6 Pro 能帮助把构造推广并结构化表达。
所属事件:实测 GPT-5.6 辅助高难度数学推演，成功构造雅可比猜想反例(6 条相关)→
「模型」频道最新
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
- 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
- Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
- 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
- Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11