# OpenAIのAstraモデル、未解決の数学問題10件を解いて証明を公開、計算コストは報告で2,000米ドル
> OpenAIは未公開モデルAstraを公表した。社内版が数十年来未解決だった数学・理論計算機科学の問題10件を解き証明を公開したことが公表のきっかけで、フォーブスは計算コストをAPIコールで約2,000米ドルと報じた

**Meta:** type: event · date: 2026-08-02 · heads: 静かな変化, 長期戦 · 3 takes · 3 lenses · 1 regions

## サマリー

[OpenAI](/ja/entity/openai)はAstraというモデルを公表した。まだ公開されていない。社内版が数十年にわたって未解決だった数学・理論計算機科学の問題10件を解き、検証可能な証明を公開した。フォーブスは計算コストをAPIコールで約2,000米ドルと報じた。BleepingComputerによれば、Astraは複雑な長期自律タスク向けに設計されている。発表は2026年8月2日。具体的な問題のリストは取材段階では公表されていない。

## 見解の分かれ

3つのソースはいずれも米国を拠点とする英語技術メディアだ。SiliconAngleは証明の公開を主要な節目と位置づけ、検証可能な成果を科学的達成として評価した。BleepingComputerはモデルの発表とその設計目的に焦点を当て、Astraが未公開で長期タスク実行向けに構築されている点を強調した。フォーブスは2,000米ドルという数字を商業的ヘッドラインとし、Astraが広く展開された場合に最前線の数学研究のコストが急落する可能性を示唆した。米国以外の報道は確認できず、米国企業の製品発表として扱われ、科学機関の発表とはみなされなかった。

## 数字で見る

- 10件、社内版Astraが解いた数学・理論計算機科学の問題数
- 2,000米ドル、フォーブス報告による10件の問題解決に使用したAPIコールのコスト
- 数十年、社内版Astraが解く前から一部の問題が未解決のまま放置されていた期間

## 重要性

AIが未解決の数学問題を解いて低コストで証明を公開することは、正式な数学研究の経済性を変える。Astraの性能が再現可能であれば、数学・計算機科学の長年の問題が解決される方法における[静かな変化](/ja/head/the-quiet-shift)を意味し、暗号技術、アルゴリズム設計、科学的検証パイプラインへの影響が生じる。2,000米ドルという数字が正確であれば、同等の作業を行う人間の研究チームを雇用するコストより桁違いに低い。

## 注目点

- [OpenAI](/ja/entity/openai)が解決した具体的な問題のリストと証明の査読を公表するかどうか
- Astraがいつ公開され、どのようなアクセスと価格体系を持つか
- 解決された10件の問題のいずれかが暗号技術またはアルゴリズム設計に即時応用できる影響を持つかどうか

## Regional takes (batched by bias / lens)

### Tech news service; leads with the proof publication as the key milestone, framing it as a scientific output rather than a product announcement
- **SiliconAngle** (United States, en) — SiliconAngleはOpenAIのAstraが未解決の数学問題10件を解いて証明を公開したと報じ、検証可能な証明の公開を製品発表よりも重要な科学的成果と位置づけた。
  > "OpenAIのAstraが長年未解決の数学問題10件を解いて証明を公開した。"
  Source: https://siliconangle.com/2026/08/02/openais-astra-solves-10-long-open-math-problems-publishes-proofs/

### Cybersecurity and tech outlet; leads with the model reveal, emphasising that Astra is unreleased and was designed for complex, long-horizon autonomous tasks
- **BleepingComputer** (United States, en) — BleepingComputerはOpenAIがAstraを次世代主力モデルとして公表したと報じた。まだ公開されていないシステムで、複雑な長期自律タスクに対応するよう設計されている。社内版が発表前に数学と理論計算機科学で10件の重要な進展を達成した。
  > "OpenAIは複雑で長期的なタスクに対応するよう設計された未公開モデルAstraを公表した。社内版は数学と理論計算機科学で10件の重要な進展を達成した。"
  Source: https://www.bleepingcomputer.com/news/artificial-intelligence/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems/

### Business press; adds the cost angle, reporting the ten problems were solved for a reported US$2,000 in API calls, framing Astra's efficiency as the commercial story
- **Forbes** (United States, en) — フォーブスはOpenAIのAstraが数十年来未解決だった数学問題10件を約2,000米ドルのAPIコストで解いたと報じ、計算効率を商業的シグナルとして前面に出した。
  > "OpenAIの新モデルAstraは、数十年来未解決の数学問題10件を報告によると2,000米ドルというAPIコストで解いた。"
  Source: https://www.forbes.com/sites/jonmarkman/2026/08/03/openais-astra-solved-10-decades-old-math-problems-for-just-2000/

## Across the graph
- Related: [[openai-gpt56-public-launch-jul9]], [[eu-aiact-enforcement-0802]], [[openai-dossier]]
- Entities: Openai

---
Canonical: https://rbtfl.xyz/ja/n/openai-astra-math-0802