「企业数据能力」共找到 6056 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
GLM-5.2 正式发布：开源之王来了，摸到了Opus-4.8
GLM-5.2正式发布，主打长程任务能力，有1M token上下文窗口且完全开源。它在长程任务基准评测中表现出色，与顶级闭源模型差距缩小，还解决了超长上下文计算成本问题，同时应对了模型‘作弊’情况。
让AI接管我家：钢铁侠有的，我也能有
作者邓天卓分享用AI重建家庭数字生活的经历。从迁移20年数据，到让AI控制家电、汽车，还能排查电脑木马、整理照片等。虽AI有不足，但技术已能把科幻变成日常，家庭AI工作站可慢慢搭建。
被“网暴”两个月后，Yann LeCun 携最新世界模型杀回！小扎千万美元激励抢人，Meta AI 内部权利之争开始
Meta推出新的“世界模型”V-JEPA 2，可提升AI物理推理能力。它是V-JEPA扩展版，在百万小时视频上训练，能让机器人完成任务。Meta还发布三项基准测试，且已开源。LeCun力挺，小扎为追进度亲自招人才。
卡车自动驾驶里程超10亿公里，嬴彻科技定义“货运物理AI”
2026年9月3日，嬴彻科技宣布卡车自动驾驶商业运营里程破10亿公里，以超90%市场份额领跑中国卡车智驾市场。其构建“货运物理AI”，有三大核心能力，还布局全场景货运网络，海外业务也有突破。
宇树上市：王兴兴的十年非共识｜甲子光年
2026年宇树科技成功上市，创始人王兴兴创业十年有诸多“非共识”观点。如高性能机器人不意味昂贵，堆数据难带来具身智能，AI强对硬件要求或降低。如今宇树成行业共识，也面临新挑战。
真·QQ飞车！「电动版F1」上海开赛，Gemini在线解说
Formula E电动方程式赛事和Gemini深度合作，Gemini承担直播解说、Driver Agent分析数据及驾驶指导功能。FE规则类似游戏，其技术或下放到普通汽车，不过自动驾驶发展下，FE未来是否需要人类存疑。
Anthropic深夜连放两弹：Sonnet 5、全新AI科研App重磅上线
Anthropic 深夜发布两个重磅更新：Claude Sonnet 5和面向科研人员的AI工作台Claude Science。Sonnet 5性能接近Opus 4.8，提升Agent能力且价格低；Claude Science整合科研工具，支持复现产出、自动管理算力、多学科查询。
一张4090就能爆改！面壁智能MiniCPM-V 4.6开源，1B多模态卷出新高度
今年是AI应用大规模落地年，参数小的端侧模型有特定场景性能优势。5月11日面壁智能开源MiniCPM-V 4.6，参数仅约1B，多模态能力超阿里、谷歌同类模型，还在多维度提升，站稳端侧多模态开源领域。
Qwen3.6-Max-Preview来了！
继Qwen3.6 - Plus发布，推出Qwen3.6 - Max - Preview预览版，相比前者有更强世界知识、指令遵循能力，智能体编程表现显著提升。可在Qwen Studio交互，也将通过阿里云百炼API调用。