AIBase
ホーム
AIニュース
AIツール
GEO & AEO
MCP
AIモデル
JA

AIニュース

もっと見る

数学研究のハードルを下げます:Mistral AI はオープンソースモデル「Leanstral 1.5」を公開

Mistral AIがLean4向けオープンソースモデルLeanstral1.5をApache-2.0ライセンスで公開。総パラメータ119B、活性化6Bで高性能・低コスト。miniF2F形式数学ベンチマークで検証・テスト共に100%達成、Putnam推論タスクにも挑戦。....

14.1k 1 時間前
数学研究のハードルを下げます:Mistral AI はオープンソースモデル「Leanstral 1.5」を公開
AIBase
未来を力づける、あなたの人工知能ソリューションシンクタンク
English简体中文繁體中文にほんご
友情链接:
AI Newsletters AI ToolsMCP ServersAI NewsAI MarketingLLM LeaderboardAI Ranking
© 2026AIBase
ビジネス協力サイトマップ