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 在前沿数学研究能力上的又一个标志性案例。
「模型」频道最新
- IFM 发布 K2 Horizon 系列 6 款模型，开源权重可自托管或本地运行 — HongyiWang10 · 2026-09-07
- Ling-3.0-flash-Fin 为何迟迟没有社区 safetensors 量化版? — jinnyjuice · 2026-09-07
- Vals 评测:Meta Muse Spark 1.3 追平 GPT 5.6 Sol,便宜 4-8 倍 — AIatMeta · 2026-09-07
- 让 GPT-6 Astra 自我剖析,它画出一幅动画自画像 — omarsar0 · 2026-09-07
- GPT-6 Astra 15 小时通关《RimWorld》,全程直播可回看 — SpyAmongUs · 2026-09-07
- 从 Voyager 到 GPT-6 Astra:三年后 AI 无需脚本直接玩转 Minecraft — dotey · 2026-09-07