ME AI ニュース、Mistral AI は本日、Apache-2.0ライセンスのオープンソース形式検証モデルである Leanstral 1.5 を発表しました。総パラメータ119B中、アクティブなのはわずか6Bです。miniF2Fで100%の飽和を達成、PutnamBenchでは587/672問を解決、FATE-H(87%)とFATE-X(34%)でSOTAを更新。トレーニングはmid-training、SFT、そしてCISPOベースの強化学習を経ています。エージェント型証明能力を備え、57のオープンソースリポジトリで5つの未知のバグを発見しました。モデルはHuggingFaceおよび無料APIを通じて利用可能です。 🔗 原文を読む:
Leanstral 1.5:誰でも使える証明の豊富さ