OpenAIの次世代モデル「Astra」が、数学と理論計算機科学の未解決問題10件を解決・前進させたと発表。数学分野でのAIの新たな成果が注目されている。