OpenAIが次期モデルAstraを発表し未解決の数学問題10件を解決

ITmedia AI+ ・ 2026-08-02

原題: OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表

AI による要約

OpenAIは次期主力モデル「Astra」の存在を公表し、数学および理論計算機科学の未解決問題10件で新たな解決成果を得たと発表した。形式証明の公開とともに低コストでの高度推論を示しており、AIによる科学的発見の可能性を大きく広げるものである。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（ITmedia AI+）をご確認ください。