Leanstral 1.5:誰でも使える証明の豊富さ

robot
概要作成中
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を通じて利用可能です。 🔗 原文を読む:
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。
  • 報酬
  • コメント
  • リポスト
  • 共有
コメント
コメントを追加
コメントを追加
コメントなし
  • ピン留め