admin 2026-03-24 80浏览

美团龙猫团队开源 LongCat-Flash-Prover：让AI真正“懂”数学证明 2026年3月24日，美团旗下研究团队“龙猫”正式开源了一款专为数学形式化证明设计的AI模型——LongCat-Flash-Prover。这不是又...