Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 - GIGAZINE

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