LongCat-Flash-ProverMeituan · 中国MeituanのLean4定理証明モデル公開月2026年3月分野その他利用方法オープンウェイトパラメータ数(サイズ)560Bライセンスmit · 商用OK概要Hugging Face登録 2026年3月20日 · オープンウェイト · 560BLean4の形式化・証明スケッチ・証明向け · MiniF2F-Test通過率97.1%(問題あたり72回推論、同社発表)公式発表を見る ↗← モデル一覧