智东西3月25日消息，昨日，美团龙猫（LongCat）团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。 从自动形式化、草稿生成到最终的形式化证明，LongCa…
Stage 2是VLM pre-training，让encoder、projector和LLM 一起进入完整的多模态知识学习。 从上图可以看出，在2B/8B这样相对紧凑的参数规模下，Penguin-VL在文…
作为首个原生全模态 Embedding 模型，它将文本、图像、音视频乃至 PDF 文档，悉数融合进了一个统一的向量空间。 原生全模态Embedding 赋予了 AI 一种连贯的底层认知模式，让机器终于能像…
Gemini 3 DeepThink的实力不止于此，它还直接把ARC-AGI-2——这个公认测试AI推理能力的前沿基准，给刷到了史无前例的84.6% 不使用任何工具，在HLE中取得新SOTA——48.4%…
Aletheia概览：这是一个由Deep Think驱动的数学研究AI智能体，能够针对研究级数学问题进行迭代式的生成、验证和修正在数学家、物理学家和计算机科学家等专家的指导下，Gemini Deep Th…
【新智元导读】今天，谷歌DeepMind「AI数学家」Aletheia彻底杀疯了，攻克数学猜想，独立写论文。Aletheia概览：这是一个由Deep Think驱动的数学研究AI智能体，能够针对研究级数学…
06/25 00:17
06/25 00:16
06/25 00:15
京公网安备 11011402013531号