登录之后可以开启更多功能哦
2026年3月24日，美团龙猫（LongCat）团队正式开源专门用于数学形式化与定理证明的深度学习模型——LongCat-Flash-Prover。该模型针对大语言模型在严密逻辑推演中的短板，通过
在大模型向垂直专业领域进军的征途中， 美团 刚刚交出了一份令学术界与工业界瞩目的答卷。 3月21日， 美团 正式开源了名为 LongCat-Fla
