OpenAI 内部模型破解十年数学难题，单题推理成本不足两千美元
Simon Willison · rss · 2026-08-02
继 Anthropic 之后，OpenAI 展示了其下一代内部模型（内部代号 Astra / GPT-5.6）在前沿数学研究中的突破能力。他们让模型挑战十道过去十年间停滞不前的数学难题，并声称在每道题上的推理 Token 成本不到 2000 美元。
OpenAI 展现了极高的透明度，不仅发布了配套论文，还在 GitHub 开源了这些结果的 Lean 4 形式化验证代码。这一进展在数学界引发了类似“深蓝”击败人类国际象棋冠军的震撼，陶哲轩此前曾将其描述为人类与 AI 大规模协作的“大数学”时代的催化剂。
「漫话AGI」频道最新
- Lean 化数学会不会毁掉数学之美?圈内人激辩数学文化走向 — akbirthko · 2026-10-16
- CSO 分析:agent 并未失控,是前沿实验室漏掉了安全基本功 — Sam_Witteveen · 2026-10-16
- 新工作论文:20世纪农业自动化如何重塑下一代人力资本 — carlbfrey · 2026-10-16
- 扎克伯格开办电工培训学校，美国在建数据中心已超办公楼 — emmanuelvivier · 2026-10-16
- Mike Frank:AI 脱离人类独立生存仍需数十年,现实世界抵抗剧变 — MikePFrank · 2026-10-16
- 开发者晒「非 LLM 控制核」系统，自称出现涌现式自我反思 — HungarySam · 2026-10-16