OpenAIの次期モデルAstraが数学・CS分野の10課題で新成果を発表

news.livedoor.com

OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4で形式化し機械検証可能に - ライブドアニュース