GPT-5.6 Pro 泛化了一个数学构造
burny_tech · x · 2026-07-20
作者称自己用 GPT-5.6 Pro 把一个数学构造做了泛化，并整理成了不同 family，还附了正式写作链接。 配图是一页密集的数学定理/证明内容，说明这不是普通玩梗，而是一次针对具体模型在数学推理上的实测记录。帖子重点在于：GPT-5.6 Pro 能帮助把构造推广并结构化表达。
所属事件:GPT模型辅助数学家发现无限反例族(3 条相关)→
「模型」频道最新
- actAVA AI 推出 1T 参数医疗代理模型 Cura — _akhaliq · 2026-07-21
- 有人觉得 Claude Fable 出现了更像 Gemini 的僵硬感 — teortaxesTex · 2026-07-21
- Reddit 实测：z.ai 上的 GLM-5.2 确实能网页搜索 — Umr_at_Tawil · 2026-07-21
- Kimi CEO 称 token 效率才是 Kimi 3 的新优势 — HowDevelop · 2026-07-21
- 海森矩阵入门：二阶导数如何影响神经网络优化 — burny_tech · 2026-07-21
- Kimi CEO 杨植麟因更精简的训练方案获赞 — carrycooldude · 2026-07-21