ChatGPT证明数学猜想
throwawaykJQP7kiw5Fk · reddit · 2026-07-15
这条帖子转述一篇报道：ChatGPT 证明了另一个已有 50 年历史的数学猜想。
它强调的是模型在数学推理/证明方向上的能力进展，而不是新的研究方法本身。
所属事件:GPT-5.6 连解 Erdős 难题，但被指夸大(10 条相关)→
「模型」频道最新
- 用户实测称赞 DeepSeek 新模型速度快、表现好 — MaziyarPanahi · 2026-09-11
- Sakana 发布 Fugu Max：$2/$6 百万 token，多模型池编排压过单一前沿模型 — SakanaAILabs · 2026-09-11
- 不改模型给 Qwen3-8B 加近似层,预填充时间砍半 — teortaxesTex · 2026-09-11
- Schmidhuber？不,是 rschu:Pro 20x 套餐不到一天烧掉 60% 额度 — rschu · 2026-09-11
- Google Grounded Search 计费翻车:15000次请求仅289次计入免费额度 — ItalyExpat · 2026-09-11
- 网友热议 DeepSeek 新模型:K3 还是缩水版 K3-Flash? — teortaxesTex · 2026-09-11