ChatGPT证明数学猜想
throwawaykJQP7kiw5Fk · reddit · 2026-07-15
这条帖子转述一篇报道：ChatGPT 证明了另一个已有 50 年历史的数学猜想。
它强调的是模型在数学推理/证明方向上的能力进展，而不是新的研究方法本身。
所属事件:GPT-5.6 连解 Erdős 难题，但被指夸大(10 条相关)→
「模型」频道最新
- Reddit 用户热议：Ming 图像模型被严重低估 — alley103 · 2026-10-27
- 实测：GPT-6.1 Terra 填表 53.5 秒，比 Sol 快近 4 倍 — sandersted · 2026-10-27
- DeepMind 员工回应中提及「Gemini 4 模型」，或为首次公开露面 — vivnat · 2026-10-27
- OpenAI 数学仓库再上新：新论文称反驳指数时间假设 ETH — danintheory · 2026-10-27
- OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证 — danintheory · 2026-10-27
- 用户被封禁后续：绕过 AI agent 安全过滤器成逆向工程隐性门槛 — FlolightC · 2026-10-27