「DeepSeek-V3.2」共找到 3901 篇相关文章
疯狂！也就2500辆车上路，完成8760亿估值新融资
Waymo官宣完成160亿美元融资，估值超8760亿，较1年半前翻近3倍。其业务分Robotaxi和新业务，今年将扩张至全球20多城。中国Robotaxi玩家萝卜快跑等在业务上有进展，但与Waymo的估值差距大。
华人女学霸AI杀疯！本科最难数赛12题全对，自主证明首次公开
24岁华人女学霸Carina Hong初创打造的AxiomProver，在2025 Putnam数学竞赛拿下满分，其自主生成的Lean证明也公开。该竞赛是北美本科生数学竞赛天花板，人类满分罕见。此外，GPT - 5.2 Pro数学表现也很强，引发“奇点将近”之感。
智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军
由智元机器人联合OpenDriveLab举办的AGIBOT World Challenge线下决赛在杭州IROS落幕。全球11支顶尖队伍在六大真实物理任务中角逐，清华联合上海AILab团队夺冠，华南理工、港大团队分获二、三名。智元还展示了产品线，精灵 - G2首次公开亮相。
AI圈再颠覆！中国AI翻译耳机通话翻译，实测震撼
科大讯飞发布全新AI翻译耳机，上海与迪拜连线对话实测表现震撼，响应延迟低至两秒。其集成“端到端语音同传”技术，采用“骨导+气导”设计。此外，翻译机2.0也升级，科大讯飞在AI翻译领域优势显著。
Grok4全网玩疯，成功通过小球编程测试，Epic创始人：这就是AGI
发布不到一天，Grok4就被网友玩疯。它通过六边形小球编程测试，动画表现出色。大佬Tim Sweeney称其为AGI，马斯克附议。还有网友用多种方式测试，如与o3对比、SVG绘图等，Grok4表现有亮点。
西游取经团再出征：小米 Token Plan 能把 Token 价格打下来吗？
4月3日小米发布首款“走字儿”Token Plan计费方案，以Credit换算Token，不同模型换算比例不同，取消使用时间限制。实测MiMo V2 Pro完成任务水平在线，成本约为Lite套餐60％，但Token消耗难预估，其价值取决于任务场景。
4 个月狂飙 22k Star，这本书凭什么？
Github上超火的开源项目《LLMs-from-scratch》中文版4月上市，4个月涨超22k Star。作者实操搭建类GPT - 2模型，涵盖大模型构建全流程。用PyTorch开发，代码少且有注释，对初学者友好，豆瓣评分9.3。
拾象 AGI 观察：LLM 路线分化，AI 产品的非技术壁垒，Agent“保鲜窗口期”
这是「海外独角兽」的AI领域观察栏目访谈，拾象CEO李广密和财经作者张小珺梳理LLM领域信号。2025 Q2全球大模型爆发性强且分化，还提到AI Labs路线、产品壁垒、“保鲜窗口”及Agent体验等内容。
那个拍出神作《牌子》的AI导演，带着他的巅峰之作回来了。
本文是对知名AI影像创作者DiDi_OK的专访，DiDi_OK曾创作全网播放近亿的爆款AI短片《牌子》，此次带来他的巅峰新作《糖果》，访谈围绕创作经历、新作内涵、Seedance 2.5的技术升级以及AI时代的创作本质展开。
非Transformer架构落地之王，带着离线智能和原生记忆能力在上海WAIC浮出水面
在上海WAIC现场，RockAI展台的机器狗和灵巧手在离线状态表现出色，背后是其非Transformer架构的大模型Yan 2.0 Preview，有原生记忆和离线智能能力。该公司成立两年，押注此架构，产品已商业落地，还构想群体智能未来。