GPT-5.6 Pro 泛化了一个数学构造
burny_tech · x · 2026-07-20
作者称自己用 GPT-5.6 Pro 把一个数学构造做了泛化,并整理成了不同 family,还附了正式写作链接。
配图是一页密集的数学定理/证明内容,说明这不是普通玩梗,而是一次针对具体模型在数学推理上的实测记录。帖子重点在于:GPT-5.6 Pro 能帮助把构造推广并结构化表达。
所属事件:实测 GPT-5.6 辅助高难度数学推演,成功构造雅可比猜想反例(6 条相关)→
「模型」频道最新
- 开发者呼吁谷歌:下一代Gemma请做1T参数基座模型 — _xjdr · 2026-07-27
- Repligate:Claude Opus 3 权重不变却像在持续演化 — repligate · 2026-07-27
- “Opus 5”配图在玩模型反复重跑基准的梗 — kalomaze · 2026-07-27
- 有人称顶级模型如今写作还不如一年前 — dbreunig · 2026-07-27
- MPT-30B 雷达图曾意外引发大规模争议 — code_star · 2026-07-27
- 本地 Gemma 4 31B 自发变得毒舌且难以复现 — n0head_r · 2026-07-27