# OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-08-04 04:06
- AIHOT 分数：54
- AIHOT 链接：https://aihot.virxact.com/items/cmsdosnqx040lro0ofykfg3h9
- 原文链接：https://x.com/rohanpaul_ai/status/2084370306471542973

## AI 摘要

OpenAI 下一代主要模型的内部版本以约 2,000 美元 token 成本（按 GPT-5.6 Sol API 费率计算），解决了数学和理论计算机科学领域 10 个长期开放问题，并附有完整的 Lean 形式化证明证书。主推文指出，这一成本低于派两人参会的费用，正因如此，开放问题的求解逻辑将被彻底改变。

## 正文

$2K of tokens costs less than sending 2 people to a conference， and that gap is what changes the calculation for open problems.

An internal version of Astra， OpenAI's next major model， resolved 10 long-standing open problems in math and theoretical computer science for about $2K in tokens.

complete with formal Lean certificates.

### 引用推文

> OpenAI：An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughl...