GPT-5.6 Pro 泛化了一个数学构造
burny_tech · x · 2026-07-20
作者称自己用 GPT-5.6 Pro 把一个数学构造做了泛化,并整理成了不同 family,还附了正式写作链接。
配图是一页密集的数学定理/证明内容,说明这不是普通玩梗,而是一次针对具体模型在数学推理上的实测记录。帖子重点在于:GPT-5.6 Pro 能帮助把构造推广并结构化表达。
所属事件:实测 GPT-5.6 辅助高难度数学推演,成功构造雅可比猜想反例(6 条相关)→
「模型」频道最新
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察:Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发,博主泼冷水:本月无前沿新模型 — patience_cave · 2026-10-26
- 实测 abliterated 去审查模型翻车:模型反而关心起我的心理健康 — ryunuck · 2026-10-26
- OpenAI Decisions API 升级:单次可处理 400 个问题并新增语音与图像能力 — OpenAIDevs · 2026-10-26