「可验证计算」共找到 5136 篇相关文章
对话零跑汽车周洪涛、冯铭月：零跑世界模型的300天｜甲子光年
本文是甲子光年对零跑汽车周洪涛、冯铭月的独家对话，披露零跑智驾从跟随策略转向押宝世界模型的研发过程、技术路线选择与普惠升级计划，还原零跑智驾超车历程。
亚马逊 CTO 要来中国了，说实话，这比泛滥的 AI 发布会值得关注
本文梳理亚马逊CTO Werner Vogels从业多年的技术思考路径：从供给侧造工具降低开发门槛，到转向关注使用者与真实需求，反思当前AI热潮下的行业焦虑，指出他本次2026年10月中国行，比泛滥的AI发布会更具关注价值。
复杂的Harness Evolution，甚至不如多跑几遍
本文解读AI2与华盛顿大学最新研究，针对热门Agent Harness Evolution方向，通过公平对照实验检验方法真实收益，戳破研究误区，引发对Agent评估标准的反思。
对话 xLean 薛轲翰：扫地机产品远没有到头，清洁机器人可以是 Family Agent 的起点
这是Founder Park对xLean创始人薛轲翰的专访，薛轲翰提出通用家庭机器人应从真实场景切入，而非诞生于实验室，xLean推出双形态洗地机器人TR1，以清洁为起点布局Family Agent生态，已获得不错的市场反馈。
刚刚，中国AI天团杀向RSI！1分钟预测全球天气、20分钟手搓OS
本文报道上海人工智能实验室等多家机构联合发布智能体模型Atria Dawn Preview，该模型可1分钟预测全球天气、20分钟搭建MiniOS，团队同时分析AI研发中的人机分工，披露最新协作数据。
破除人形崇拜！京东用“狼族”军团重做物理AI
当行业狂热追捧人形机器人时，京东物流针对物流仓储非标环节自动化渗透率低的痛点，推出「狼族」异构机器人集群搭配超脑3.0智能中枢的全链路物理AI方案，已实现规模化落地，兼顾效率与经济性。
特斯拉Cybercab正式上线：没有方向盘没有刹车，已开始在奥斯汀拉客
当地时间9月3日，特斯拉在奥斯汀启动Cybercab付费服务，该车无方向盘、刹车等。其成本约1.8万美元，远低于对手。不过，它面临监管和技术约束，目前投放规模小，未来发展待验证。
1.6K Star！阿里开源 zg：一条命令解决 Agent 时代的本地检索难题。
AI Agent 用 ripgrep 检索常遇难题，因代码命名和自然语言有‘词汇鸿沟’。阿里开源的 zg，将三种搜索能力整合进 CLI 工具，可用于终端与人机交互，还介绍了其安装、建索引及搜索的方法。
智能体时代EDA工具革新，比昂芯科技专注AI驱动电路仿真及Chiplets设计
近期，AI+芯片设计生成成全球资本热门赛道。比昂芯科技早在2024年就启动AI在EDA领域的底层技术探索，形成AI原生EDA完整技术闭环。其研发总监吴晨博士在IDAS 2026分享实践，公司还有四大核心产品及服务。
每周产业洞察｜校园母题与流量要素成为AI短剧行业的爆款公式
近期AI短剧行业数据亮眼，TikTok生态和国内市场规模惊人，但淘汰率也高。其有“校园母题+流量要素”爆款公式，AI降低制作成本，工具平台参与度加深，且用户画像向男性、游戏用户迁移。