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

※ この記事は外部サイトのコンテンツです。下のボタンから元記事をご覧ください。