米OpenAIは8月1日、次世代AIモデル「Astra」が、数学および理論計算機科学における長年の未解決問題10件を解決、あるいは大幅に前進させたと発表した。5月に発表されたエルデシュの単位距離予想の反証に続き、AIが数学の分野で新たな成果を挙げたことになる。