ChatGPT 被称助证数学猜想
scientificamerican · reddit · 2026-07-14
这条帖子分享了《Scientific American》的一篇文章，标题称 ChatGPT 又证明了一个 50 年前的数学猜想。
帖子本身没有展开更多细节，核心信息是：外媒在讨论 ChatGPT 参与数学证明、并被认为推动了一个长期未解猜想的突破。
所属事件: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