モデルtldr-ai2026-07-06
Leanstral: 数学証明AI登場
Leanstral
Leanstralは、数学の証明やプログラムの誤りを見つける1190億の情報を学んだAI。複雑な問題の正確性をAIが効率的に確認できます。
Leanstralは、Mistralの汎用コーディングフレームワークに基づいて構築された、オープンソースの119B-parameterの定理証明およびコード検証エージェントです。
この記事について質問
記事の内容に答えます。記事外のことは都度ウェブで調べます。