「数据问题」共找到 5131 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
谷歌掀桌：深度研究智能体进入自动驾驶时代
4月末谷歌DeepMind推出两款基于Gemini 3.1 Pro的AI研究智能体，标准版重速度，增强版求详尽。Max版在多测试获SOTA得分，能自主研究课题出报告，还可融合数据、生成图表，已开启公开预览。
让AI接管我家：钢铁侠有的，我也能有
作者邓天卓分享用AI重建家庭数字生活的经历。从迁移20年数据，到让AI控制家电、汽车，还能排查电脑木马、整理照片等。虽AI有不足，但技术已能把科幻变成日常，家庭AI工作站可慢慢搭建。
大模型能“原地”改参数了！字节Seed&北大新论文：测试时推理无需加层重训练
字节Seed和北大研究团队提出In - Place TTT方案，让大模型能“原地改参数”。它复用Transformer的MLP模块，解决现有TTT架构不兼容、计算效率低和优化目标不匹配问题，实验证明可提升模型长文本任务表现。
95%的人不知道什么是AGI，也不知道他们将很快失业
哈佛教授抛出AI致大量岗位消失国家该如何应对的问题。Anthropic CEO称AI或在1 - 5年内消灭一半入门级白领工作。关于AI与劳动力市场讨论升温，网友也各抒应对之策，而多数人对AGI威胁浑然不觉。
宇树上市：王兴兴的十年非共识｜甲子光年
2026年宇树科技成功上市，创始人王兴兴创业十年有诸多“非共识”观点。如高性能机器人不意味昂贵，堆数据难带来具身智能，AI强对硬件要求或降低。如今宇树成行业共识，也面临新挑战。
真·QQ飞车！「电动版F1」上海开赛，Gemini在线解说
Formula E电动方程式赛事和Gemini深度合作，Gemini承担直播解说、Driver Agent分析数据及驾驶指导功能。FE规则类似游戏，其技术或下放到普通汽车，不过自动驾驶发展下，FE未来是否需要人类存疑。
诺奖得主刚走，Gemini两大核心叛逃Anthropic！
谷歌人才流失严重，一周内五名顶级研究员出走，Gemini两大核心将入职Anthropic。同时，Gemini 3.5 Pro延期至7月。Alphabet股价下跌，市值蒸发超2000亿美元。原因或是上市期权诱惑和算力分配问题。
市值超150亿元！深圳冲出一个芯片IPO
2026年5月27日，深圳云英谷科技在港交所主板挂牌上市，发行价每股20.81港元，开盘报25.48港元，截至发稿涨幅扩至75.59%，市值156.31亿港元。其虽为行业龙头，但有持续亏损、毛利率低等问题。
测完阿里的Accio Work，我理解了「一人跨国公司」为什么可能
作者体验阿里Accio Work后认为，它作为面向全球中小企业和创业者的企业级Agent，像出厂就懂做生意的团队，能让电商小白从零搭Shopify店，通用Agent难以做到，体现数据和场景壁垒。