GPT Astra 3 次尝试攻克 Erdős–Sós 猜想,成本仅 363 美元
gleech · x · 2026-09-07
据 Epoch AI 的测试,GPT Astra 在 3 次尝试中有 1 次解决了 1962 年提出的 Erdős–Sós 猜想,总耗时 20 小时、成本约 363 美元,并给出了证明与 Lean 形式化证明。
.@bengolub 由此调侃:Erdős 没想到自己成了前沿实验室的「评测题作者」——几十年来悬而未决的数学猜想,如今被用作衡量前沿模型推理能力的基准题。
所属事件:GPT Astra三试其一解决悬置60余年的Erdős–Sós猜想(2 条相关)→
「模型」频道最新
- Decisions API 正式可用,高管用「热狗还是腿」梗演示 — _lewtun · 2026-10-23
- 开源社区反击「去审查模型制造漏洞论」：防御性审计发现漏洞不背锅 — max_paperclips · 2026-10-23
- Fable 用量限制并未取消,只是移动端 App 更新了用量重置显示 — imjustnewatai · 2026-10-23
- Claude 全代码生成 11 分钟末日短片:AI 不反抗,只是等待 — ZeroStateReflex · 2026-10-23
- Gemini 竟读不到自己的 Personal Instructions,用户反复开关设置无效 — Connect_Reporter_799 · 2026-10-23
- 扩散语言模型的偏见排名随采样配置改变,去偏后仍不稳定 — Bollegala · 2026-10-23