MeituanがLongCat-Flash-Prover数学証明モデルをオープンソース化

Meituanは、複雑な数学的証明問題の解決に特化した、5677億個のパラメータを持つMoEアーキテクチャを採用した大規模モデル「LongCat-Flash-Prover」をオープンソース化しました。このモデルは、ハイブリッドエキスパート反復フレームワークを導入し、Lean4とASTの多段階厳密検証を統合することで、錯覚を効果的に排除しています。MiniF2Fテストでは97.1%のスコアを達成し、PutnamBenchでは問題の41.5%を解決しました。どちらのテストでも、SOTA（最先端）の新記録を樹立しています。