OpenAI「Astra」未解決の数学10問を解く
COPLUS AI NEWS
今朝のAIニュースまとめ
未解決問題に挑んだ最前線モデルと、AI生成物の洪水に音を上げた受け手側
この数日で、AIの現在地を両側から映す発表が続きました。ひとつは、人が10年以上解けなかった問題にモデルが踏み込んだという話。もうひとつは、AIが生み出した大量の提出物をさばききれず、受け取る側が門を狭めたという話です。生み出す力が上がるほど、受け止める側の設計が問われる。本日はこの2本を取り上げます。
① OpenAI、次期主力モデル「Astra」が未解決の数学10問を解いたと公表
ソース: ITmedia NEWS ／ 公開日: 2026年8月3日（発表は8月1日）
OpenAIが8月1日、次期主力モデルとされる「Astra」の存在を初めて公にしました。同社の説明によれば、社内版のAstraが高次元幾何、符号理論、群論、作用素環、量子計算量、格子暗号、極値組合せ論といった複数分野にまたがる未解決問題10問を解いたとしています。同社はこれらを、少なくとも10年、多くはそれよりずっと長く大きな進展がなかった問題だと位置づけました。解答の生成に要したトークンは、GPT-5.6の料金に換算して約2000ドル相当だったといいます。
成果の帰属について、同社は慎重な線引きをしています。数学的な推論を生成したのはモデルですが、証明の形式化はLeanを用いて人間が行い、論文としてまとめたのも人間で、内容の正しさの責任は同社が負うという整理です。一方で、一般公開の時期、API料金、ChatGPTへの搭載の有無、アーキテクチャの詳細はいずれも明らかにされていません。現時点で示されているのは同社自身の発表であり、第三者による独立検証の結果は公表されていない点に留意が必要です。
💡 コプラスの視点
中小企業の日々の業務に、高次元幾何や格子暗号が直接効いてくるわけではありません。ただ注目したいのは、計算資源を投じれば10年動かなかった問題が動くかもしれない、という費用感が具体的な金額で語られ始めたことです。難しいから人海戦術で凌ぐしかないと諦めていた社内の課題も、切り出し方しだいで一度AIに当ててみる価値が出てきます。まずは自社で最も面倒な判断作業をひとつ言語化し、試算の土俵に載せてみてはいかがでしょうか。
② Apple、AI生成のバグ報告が殺到し提出に上限と冷却期間
ソース: Financial Times報道（Techmeme経由で各社が引用）／ 報道日: 2026年8月2日
Appleが、外部の研究者からの脆弱性報告の受け付けに制限を設けたとFinancial Timesが報じました。報道によれば、一人の研究者が同時に抱えられる未処理の報告数に上限を課し、あわせて30日間の冷却期間を設けたとされています。ポータルの変更自体は6月に静かに行われたとされ、背景にはAIの支援で作られた報告の殺到があると報じられています。上限を超えたい研究者は、個別により多い枠を申請できるとされています。
問題は量そのものではなく、本物の脆弱性とAIに起因する誤検知を切り分ける作業に人手が奪われる点にあります。報道では副作用も指摘されており、イタリアのスタートアップがChatGPTを用いてmacOSの重大な欠陥を見つけたものの、この上限のために提出できなかった事例が伝えられています。なお、これらはFinancial Timesの報道に基づくもので、Apple自身が制度変更を公式に発表したものではない点は区別して読む必要があります。
💡 コプラスの視点
これは巨大IT企業だけの話ではありません。採用応募、問い合わせ、社内の申請や報告書。AIで誰でも大量に整った文章を出せるようになった以上、受け取る側が同じ人数のままでは必ず詰まります。対処は間口を閉じることではなく、明らかに機械的な提出を先に弾く条件と、人が丁寧に読むべき案件を選ぶ基準を先に決めておくことです。自社の窓口で今いちばん量が増えている経路はどこか、一度数えてみることをおすすめします。
本日のまとめ
片方では、人が10年届かなかった問題に計算資源が投じられました。もう片方では、AIが生んだ提出物の量に受け手が耐えきれず、門を狭めました。生成の力が上がるほど、それを受け止める側の基準づくりが追いつかなくなる。今のAI活用でつまずくのは、多くの場合この受け止め方の設計です。
コプラスでは、生成AIの社内活用を情報の取り扱いルールづくりから業務への定着まで一貫してご支援しています。何から手をつけるべきか迷われている段階でも構いません。お問い合わせはこちらからお気軽にご相談ください。
