在人工智能技术迅猛发展的今天，越来越多的企业开始将目光投向大型模型的开发与应用。3月21日，美团正式开源了其最新研发的LongCat-Flash-Prover大模型，该模型拥有惊人的5677亿参数，并采用了混合专家模型（MoE）的形态，旨在解决复杂的数学证明问题。 LongCat-Flash-Prover的推出，标志着在形式化推理领域的一次重大突破。该模型引入了混合专家迭代框架（hybrid-ex ...

IT之家 3 月 21 日消息，美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。据介绍，该模型引入了混合专家迭代框架（hybrid-experts ...

编者按：3月19日，中国人民大学重阳金融研究院副院长蔡彤娟与马来西亚中国餐饮业协会副会长甘文静在《中国日报》发表英文文章认为，高质量的“一带一路”合作重心，正从铁路、公路、港口等“硬联通”，转向规则、标准、制度协同等“软联通”，这一倡议也正从项目建设 ...

在全球气候治理的棋盘上，土地问题长期处于相对边缘的位置。然而，随着极端天气事件频发、粮食安全压力加剧，以及可再生能源扩张与生态保护之间的张力日益凸显，土地退化已成为无法回避的核心议题。3月22日是世界水日，然而气候变化正在导致世界干旱频发，预计全球四分之三的人口到2050年都将面临干旱风险，如何应对水资源和土地危机是我们无法回避的问题。

TALLINN, March 19 (Xinhua) -- The Estonian government on Thursday approved a draft Nuclear Energy and Safety Act and submitted it to parliament, the Riigikogu, for discussion. Proposed by the Ministry ...

在梳理了我们所有的 Skills 之后，我们注意到它们大致可以归为几个反复出现的类别。最好的 Skills 清晰地落在某一个类别里；让人困惑的 Skills 往往横跨了好几个。这不是一份终极清单，但如果你想检查团队里是否还缺了什么类型的 Skills ...

IT之家 3 月 21 日消息，美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。 据介绍， 该模型引入了混合专家迭代框架（hybrid-experts iteration framework） ，用于生成大规模、高质量的形式化推理轨迹。可通过整合 Lean4、基于 AST ...

Ye Yangsheng, co-founder of Shanghai-based SEER Robotics, already noted at the 2025 Zhangjiang Embodied AI Developer Conference in May that humanoid robots require massive amounts of data for training ...

Yao Qizhi, a Turing Award winner and an academician at the Chinese Academy of Sciences, said, "Over the past five years, China has made rapid progress in embodied AI, especially humanoid robots, ...