OpenAI 内部模型破解十年数学难题，单题推理成本不足两千美元
Simon Willison · rss · 2026-08-02
继 Anthropic 之后，OpenAI 展示了其下一代内部模型（内部代号 Astra / GPT-5.6）在前沿数学研究中的突破能力。他们让模型挑战十道过去十年间停滞不前的数学难题，并声称在每道题上的推理 Token 成本不到 2000 美元。
OpenAI 展现了极高的透明度，不仅发布了配套论文，还在 GitHub 开源了这些结果的 Lean 4 形式化验证代码。这一进展在数学界引发了类似“深蓝”击败人类国际象棋冠军的震撼，陶哲轩此前曾将其描述为人类与 AI 大规模协作的“大数学”时代的催化剂。
「漫话AGI」频道最新
- AI 冲击职业认同感：生物学家因科研变味而转行 — matdryhurst · 2026-08-02
- 深度学习高度依赖实验，AI起飞瓶颈在算力而非智力 — bronzeagepapi · 2026-08-02
- 预测：AI数学能力超越人类后，将解锁实用ML理论 — kjgeras · 2026-08-02
- 安全专家警示：世界正以笨拙方式跌入 AI 灾难 — davidmanheim · 2026-08-02
- 经济学家泼冷水：AI 难解宏观经济难题 — soumitrashukla9 · 2026-08-02
- LLM 正在颠覆数学证明，媒体为何视而不见？ — davidcrawshaw · 2026-08-02