OpenAI、次期主力モデル「Astra」による数学・理論計算機科学の新結果10件を公表—Lean 4形式化も公開 - innovaTopia

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