「可验证计算」共找到 5172 篇相关文章
追觅CES亮剑：一台AI具身机器人的洗衣革命｜甲子光年
2026年CES上，追觅推出首款AI具身洗护机器人，可完成洗衣全流程。它整合多系统，展示新创新逻辑。具身智能分阶段发展，追觅结合制造与技术，欲降低用户洗护成本，但落地仍面临挑战。
CES深思考：没做人形机器人的石头，如何抢占家庭具身智能第一入口？｜甲子光年
2026年CES上，石头科技推出全球首款能扫楼梯的轮足扫地机器人G - Rover，它重新定义空间维度，可在台阶稳定作业。石头科技以场景需求定义形态，研发围绕用户需求，在全球市场表现出色。
CMAME|美国西北大学，德州大学|Wing Kam Liu及 TJR Hughes 等: LLM赋能的下一代计算机辅助工程
工程仿真里有限元方法常见，但计算与人力成本高。此研究提出把大语言模型变为计算机辅助工程智能体，开发不依赖训练数据的降阶求解器，在多问题上表现佳，为下一代计算机辅助工程提供框架。
一个“上天”，一个“要脸”：他们正颠覆你对机器人的想象 ｜5Y View
五源合伙人孟醒对话微分智飞高飞、首形科技胡宇航。高飞要为飞行终端造‘具身大脑’，胡宇航给机器人一张能传情的脸。他们没走主流赛道，是顶尖科学家创业，也是让机器人进化的尝试。
7000亿豪赌，扎克伯格买了众叛亲离
为拿下AI船票，扎克伯格让Meta猛踩油门，投入数百亿参与竞赛，还多次重组AI部门。但他的强硬作风使Meta内部混乱，老将出走，新人不满。Meta虽有新模型计划，可商业模式不明，还面临伦理风险。
天下苦SaaS已久，企业级AI得靠「结果」说话
SaaS在AI时代问题凸显，推理成本高、交付质量不稳定。在此背景下，百融云创推出结果云Results Cloud，以RaaS模式提供全栈解决方案，解决AI落地难题，还呼吁共建智能体生态。
智能体如何学会「想象」？深度解析世界模型嵌入具身系统的三大技术范式
长期以来具身智能系统缺预测力，世界模型让智能体有了‘想象’未来的能力。中科大等机构团队综述将现有研究划分为模块化、顺序、统一三大架构集成范式，并指出未来研究方向。
航空学报 | 西工大余囿铮、寇家庆等：基于生成对抗网络的通航飞行器气动布局设计方法
传统飞行器气动布局设计依赖专家经验，方案多样性受限。本文基于改进的生成对抗网络，提出端到端气动布局生成框架，以机翼和通航飞行器为对象研究，验证了其在创新飞行器设计方面的潜力。
模型大一统？1100多个模型殊途同归，指向一个「通用子空间」！
约翰斯・霍普金斯大学研究发现，1100多个不同神经网络，即便训练条件不同，最终权重会收敛到共享低维子空间。此研究为神经网络参数空间“通用性”提供严谨实证，虽成因待探索，但意义深远。
最高500万！6个项目签约！“决战紫金之巅”圆满收官 | Q推荐
12月12日，决战紫金之巅——云谷杯・2025人工智能应用创新创业大赛总决赛暨闭幕式在云谷中心举办。活动聚焦AI应用创新及“AI+”融合，现场有政策宣介、圆桌对谈等，6个项目签约，最高可获500万补贴。