GPT-6 Pro 攻 Erdős 问题 #488，产出候选证明并过两道算术验证
basedjensen · x · 2026-09-11
网友 @nicdunz 用 GPT-6 Pro 尝试未解决的 Erdős 问题 #488，模型给出了针对「至多四个本原生成子的集合」情形的候选证明，并通过了两个精确算术检查器的验证。作者强调专家审阅与新颖性检查尚未完成，证明与可复现代码已公开。
「模型」频道最新
- Codex Astra 6 周额度太苛刻,月付 600 美元用户直呼用不起 — AIandDesign · 2026-09-11
- 传 OpenAI 数周内攻破多道百年数学难题,千禧年大奖疑被破解 4/7 — basedjensen · 2026-09-11
- GPT-6 Astra 国际象棋 ChessBench 拿下 2340 Elo,排名第 11 — YakFull8300 · 2026-09-11
- HighLevel 曝获 OpenAI 疑似新模型 GPT-Live-1 alpha 权限,实测语音通话 — OpenAIDevs · 2026-09-11
- CritPt 评测被指严重损坏,蚂蚁已在 F5.1 系统卡中用修复版替代 — xeophon · 2026-09-11
- Polymarket 开盘押注 OpenAI GPT-6 Astra 会否被停止公开访问 — Polymarket · 2026-09-11