Lean 4とは何か
Qiita AI ・ 2026-08-05
原題: Lean 4 とは何か ── AI が数学オリンピックに挑み、フェルマーの最終定理がコードに書き写される時代の主役言語
AI による要約
Lean 4は、数学オリンピックで銀メダル相当の成績を収めたAlphaProofが使用した言語です。AlphaProofは、Google DeepMindが開発したAIモデルです。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（Qiita AI）をご確認ください。