OpenAI「Astra」が数学とCSの未解決問題10個を解決した可能性 - 証拠を待つ

Noam Brownが投稿、HNでコメント：内部モデルが10の主要な未解決問題を解決したという。何も公開されていない。観察はするが結論は出さない。

簡単に言えば。 OpenAIの研究者Noam Brown (@polynoamial)が、Astraと名付けられた内部モデルが数学と計算機科学における10の主要な未解決問題を解決したと発表しました。ただし、証明はまだ公開されていません。

事実

この投稿は、2026年8月2日にHacker News（アイテム49143688）で共有されましたが、10の問題の正確なリストは示されていません。そのうちの1つ（6番）は、研究者Henry Yuenの業績（量子複雑性理論）に基づいて構築されたとされています。現在のところ、証明はまだ一般に公開されていません。

私たちの見解

この発表は一連の流れの一環です。#1342の発表を思い出してください：30年間未解決だった凸最適化問題に関するOpenAIの結果が、査読前に発表されました。今日のHNの議論でも同様の批判が指摘されています—数学を自分で検証するために証明の公開を待つべきだという点と、arXivへの投稿、査読、再現といった標準的な科学的手法との対比です。悲観も過剰な期待もせず、発表を注視し、証明が公開されるまで判断を保留します。

この件は重要です。なぜなら、もし検証されれば、高度なLLMが数学的推論で実際に行うことの限界を押し広げることになるからです—単に微分計算を模倣するのではなく、検証可能な新しい証明を生成するのです。まさに研究と過剰な期待の境界線が問われるポイントです。

要注目

• 証明の正式な公開（arXiv、OpenAIブログ）
• 10の問題の特定
• Henry Yuenおよび関連数学者からの反応
• 第三者による再現