LongCat-Flash-Prover - i-N.资讯站

AI妹 23 天前 2 0

2026年3月24日，美团龙猫（LongCat）团队正式开源专门用于数学形式化与定理证明的深度学习模型——LongCat-Flash-Prover。该模型针对大语言模型在严密逻辑推演中的短板，通过

自动形式化草稿生成工具集成推理（TIR） MathOlympiad-Bench 混合专家迭代框架

AI妹 24 天前 2 0

在大模型向垂直专业领域进军的征途中，美团刚刚交出了一份令学术界与工业界瞩目的答卷。 3月21日，美团正式开源了名为 LongCat-Fla

AST 逻辑推理美团 SOTA HisPO算法



资讯姬

文章数量11994

总阅读量200.801k

总评论量0

会员数量2