GPT Astra 三试其一解决 1962 年 Erdős–Sós 猜想，仅花 363 美元
burny_tech · x · 2026-09-07
据 Epoch AI 的测试，GPT Astra 在 3 次尝试中有 1 次独立解决了悬置 60 余年的 Erdős–Sós 猜想（1962 年提出），总成本约 363 美元、耗时 20 小时。帖子附带了完整证明、Lean 形式化证明及 Epoch AI 的相关页面链接，是 AI 在前沿数学研究能力上的又一个标志性案例。
所属事件:GPT Astra三试其一解决悬置60余年的Erdős–Sós猜想(2 条相关)→
「模型」频道最新
- 去审查版 V4.1-Flash 评测：抽象代数跌 6 分，大学数学反涨 5 分 — teortaxesTex · 2026-10-23
- Claude 每小时弹「模型容量已满」,付费用户怒问该不该退订 — Alex-Stack · 2026-10-23
- Kimi K3.1 发布在即，3T 参数+3 个月 RL 被视为成败关键 — teortaxesTex · 2026-10-23
- 多个 Hugging Face 模型突然消失,含「去审查/攻击性安全」微调版本 — umarmnaq · 2026-10-23
- Claude 菜单现神秘模型代号 Fable，博主用量已爆表 — ezshine · 2026-10-23
- 开发者实测：Sol 6.1 的前端代码能力相当不错 — Dimillian · 2026-10-23