ベンダー・製品 · 8月3日 08:15 注目 OpenAIのAstraモデル、10件の未解決数学問題にブレークスルー OpenAIは2026年8月2日(現地時間)、次期主要モデルAstraの内部版が、数学および理論計算機科学における長年の未解決問題10件でブレークスルーを達成したと発表した。同モデルは、発見した各問題の証明をLeanで形式化し、定理証明システムによる検証を可能にした。