# OpenAI Astra 模型破解 10 道数学难题

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-08-01 18:10
- AIHOT 分数：54
- AIHOT 链接：https://aihot.virxact.com/items/cmsa8bt4p00cqrojdm8w4j9ju
- 原文链接：https://x.com/rohanpaul_ai/status/2083495692992139601

## AI 摘要

OpenAI 未发布的 Astra 模型解决了 10 道数十年来悬而未决的数学难题，覆盖高维几何、编码理论、算子代数、量子复杂性与格密码学等领域。全部解题仅耗约 $2,000 token 费用（Sol API 价格），即每题 $200。每个 AI 论证均经 Lean 逐步重建验证，确保每一步推理完全严谨。

## 正文

Some really cool news for the world of Math in AI.

OpenAI's unreleased Astra model solved 10 math problems that had stayed open for decades.

Finding all 10 cost roughly $2，000 in tokens at Sol API rates， i.e. $200 per answered question.

Spread across high-dimensional geometry， coding theory， operator algebras， quantum complexity and lattice cryptography.

Each AI produced argument was rebuilt in Lean， that rechecks a proof step by step， and that only signs off when every step is fully justified.