オプション
速報
コンテンツ
PeterSanchez
PeterSanchez
2026年3月23日

美団(Meituan)は、複雑な数学的証明のための5670億パラメータのMoEモデル「LongCat-Flash-Prover」をオープンソース化した。このモデルは、MiniF2F-Testで971点を記録し、PutnamBenchの問題のうち415問を解くという新記録を樹立した。主な技術的ブレイクスルーとしては、幻覚現象を排除するための多段階AST検証や、安定した学習を実現するHisPOアルゴリズムなどが挙げられる。このモデルはGitHubおよびHugging Faceで公開されている。

美団(Meituan)は、複雑な数学的証明のための5670億パラメータのMoEモデル「LongCat-Flash-Prover」をオープンソース化した。このモデルは、MiniF2F-Testで971点を記録し、PutnamBenchの問題のうち415問を解くという新記録を樹立した。主な技術的ブレイクスルーとしては、幻覚現象を排除するための多段階AST検証や、安定した学習を実現するHisPOアルゴリズムなどが挙げられる。このモデルはGitHubおよびHugging Faceで公開されている。
コメント (0)
0/300
OR