「推理技术」共找到 4544 篇相关文章
宇树机器人租不出去了
2025开年，宇树机器人因春晚表演成“顶流”，人形机器人租赁爆发。但热潮渐退，其租赁市场萎缩，复购率低。技术上实现简单动作难，商业化前景存疑，行业凸显理想与商业的矛盾。
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
Anthropic：现在学习FDE，年薪百万！
Anthropic大佬分享FDE岗位价值，指出其非外包，是面向客户的软件工程师。还阐述适合的人才、团队，纠正三大误区，强调客户买的是解决问题的过程，现场沟通能力正升值。
千万级标注成本归零！CVPR 2025清华团队成果：相机的“自运动”就是最好的老师
以往空间音频模型受限于采集条件和标注成本，清华和密西根大学团队在CVPR 2025给出新路径，利用相机自运动作监督信号，让模型从互联网视频学三维空间音频感知，成果入选会议Highlight。
逛完WAIC，我们发现这家芯企已经把端侧AI“场景落地”做实
7月17 - 20日，世界人工智能大会召开，端侧AI成热点。瑞芯微展台展示大模型、Agent、AI+应用，多方案已量产落地，其双轨架构优势突出，还规划了产品路线图。
具身智能空间视觉死穴，终于被最新顶会彻底解决！
招商局先进技术研究院下属实验室提出新的移动数据范式，以极低成本破解 VLA 的空间泛化瓶颈。研究团队识别出 VLA 模型三种捷径学习模式，提出层次化数据解耦策略，该方案在主流 VLA 模型上验证有效。
我去，真有这种，Openclaw 增强工具，ClawRouter 让 AI Agent 自己选模型、自己付钱，还能把 LLM 成本打下来 90%，爽～～
ClawRouter是开源本地LLM Router / Proxy，支持55+模型，能让AI Agent自动选模型、付费，将LLM成本降90%。它解决路由、支付等问题，适合做AI Agent、编程工具等产品的开发者。
让机器人学会「预判接触」：它石智航牵头四大顶尖机构发布TacForeSight，破解精细操作难题
它石智航联合四大顶尖机构发布论文 “TacForeSight: Force-Guided Tactile World Model for Contact-Rich Manipulation”，提出力条件触觉世界模型，让机器人能提前预判接触变化，在真机验证中性能优异。
2026 中国 AGI 创新影响力机构 TOP 30 征集启动！
今年AI行业关注点重回模型与模型公司，开源逼近闭源前沿，C端用户规模上涨。在此环境下，极客公园启动2026中国AGI创新影响力机构TOP 30征集，从多维度评选，给出申报、评审及结果公布时间。
用脑机接口上班是什么体验？一个渐冻症患者使用了两年后表示：其实很无聊
加州大学戴维斯分校团队为渐冻症患者凯西植入脑机接口，装置工作 19 个月处理 18.3 万个句子，证实其长期稳定性和临床实用价值。不过，脑机接口难以兼顾多方面要求，商业推广也面临诸多门槛。