OpenAIのAstraモデル、10件の未解決数学問題にブレークスルー
OpenAIは2026年8月2日(現地時間)、次期主要モデルAstraの内部版が、数学および理論計算機科学における長年の未解決問題10件でブレークスルーを達成したと発表した。同モデルは、発見した各問題の証明をLeanで形式化し、定理証明システムによる検証を可能にした。
Tag
#GPT-5-6
3 件の関連記事
GitHub Copilot、OpenAI GPT-5.6モデル群に対応し選択肢拡充
GitHubは2026年7月9日(現地時間)、コーディング支援ツールGitHub Copilotが、OpenAIのGPT-5.6モデル群「Sol」「Terra」「Luna」に対応したと発表した。これにより、Copilotユーザーは、大規模な推論から日常的なタスクまで、コードベースの規模やタスクの種類に応じて最適なモデルを選択して利用できるようになる。これらのモデルは段階的に展開され、開発者は推論の精度、処理速度、コスト効率を最適化しながら、AIを活用した開発ワークフローをさらに進化させることが可能になる。
フロンティアAI、米大統領令で事実上のライセンス・承認制度に移行
Hyperdimensionalは2026年6月26日(現地時間)、Dean W. Ball氏の分析を報じた。「サイバーおよびAIに関する大統領令」により、フロンティアAIモデルに事実上の強制的なライセンスおよび事前承認制度が確立されたという。この制度下で、Anthropic の最新モデル「Fable」はセキュリティ上の懸念から公開アクセスが取り消され、OpenAI の「GPT-5.6」は米国政府の要請で一部米国企業のみに提供が制限されている、と報告されている。