ChatGPT再证一个数学猜想
scientificamerican · reddit · 2026-07-14
《Scientific American》报道，ChatGPT 又证明了一个已有 50 年 历史的数学猜想。
这条消息的重点不是新模型发布，而是模型在数学推理/证明任务上的能力再次出现引人关注的进展。
所属事件:GPT-5.6 连解 Erdős 难题，但被指夸大(10 条相关)→
「模型」频道最新
- OpenAI 宣布三项科学新成果：涵盖数学、复杂度理论与量子场论 — thesaraharminta · 2026-10-27
- 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