智东西3月25日消息,昨日,美团龙猫(LongCat)团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。 从自动形式化、草稿生成到最终的形式化证明,LongCa…
“竞争对于美国来说是有益的,成本下降对于全球经济来说也是一件好事。”
文远知行:2025年总营收同比增长90% 到2026年底将在全球部署2600辆Robotaxi
小鹏汽车成立Robotaxi业务部 计划下半年开启示范运营
小鹏汽车公布2026年OTA计划:每季度大更、二季度自动驾驶大突破
Stage 2是VLM pre-training,让encoder、projector和LLM 一起进入完整的多模态知识学习。 从上图可以看出,在2B/8B这样相对紧凑的参数规模下,Penguin-VL在文…
Uber与Rivian达成Robotaxi部署+12.5亿美元投资合作
文远知行达成国家级战略合作:斯洛伐克首个自动驾驶项目
04/01 16:41
01/20 14:04
01/20 13:53