在大模型向垂直专业领域进军的征途中，美团 刚刚交出了一份令学术界与工业界瞩目的答卷。 3月21日，美团 正式开源了名为 LongCat-Flash-Prover 的超大规模数学证明模型。这款拥有 56…