OpenAIは8月1日、開発中の次期モデル「Astra」が、数学・理論計算機科学の分野で10年以上未解決だった難問10件について証明・反証を生成したと発表しました。1999年以来27年間解けなかった「非sofic群」の初の明示的構成などが含まれ、開発コストは約2000ドルだったとしています。
AIによる数学分野への応用は、着実に実績を積み重ねてきました。