「可验证智能」共找到 7238 篇相关文章
稚晖君和王兴兴，打起了人形机器人关键一仗
科技圈风口聚焦人形机器人，宇树科技和智元机器人争夺“人形机器人”第一股。两者虽产品线和应用场景有共性，但商业化进程、战略打法和组织结构差异大，代表不同具身智能发展路径。
只因一个“:”，大模型全军覆没
一篇论文发现冒号等符号、“Thought process：”等语句能欺骗LLM，让虚假回答通过。实验表明所有测试模型都会触发假阳性响应。研究人员构建新“评委”模型Master - RM，可让假阳性率接近0%。
刚刚，Grok 4发布，「人类最后的考试」中拿下50.7%，碾压所有对手，游戏结束？
Grok 4发布并对X Premium+订阅者开放。它是领先的AI模型，人工智能指数超对手，全方位性能爆表，还具备实用功能。在「人类最后的考试」拿下50.7%，显示AI智能增长无上限。
JCP | 南科大赵肃楠、王建春等：LESnets：基于物理信息神经算子的湍流大涡模拟
本研究提出基于物理信息神经算子的LESnets方法，用于快速模拟粗网格上三维湍流时空演化。不使用标签数据，训练两种神经算子，验证了其有效性和泛化能力，效率显著优于传统方法。
很多AI人还在自嗨，外贸人已经用AI卷翻天了。
作者参加OKKI 2025新品发布会，深感外贸人用AI“卷翻天”。总结8条启示，如AI是队友、智能体达L3才成熟等，强调用人类思维理解行业，以AI解决问题，让技术转化为生意增量。
LSTM之父22年前构想将成真？一周内AI「自我进化」论文集中发布，新趋势涌现？
本文介绍AI模型自我进化方向的进展，涉及多机构的相关论文。如受“哥德尔机”启发的“达尔文哥德尔机”可自我改进；还有“自我奖励训练”“MM - UPT”“UI - Genie”等方法，展现AI自我进化潜力。
登上Science Robotics顶刊！清华团队耗时22年，终于教会机器人踢足球
今年8月，清华赵明国教授团队联合字节跳动Seed等在《Science Robotics》发表论文，提出视觉驱动的反应式足球技能学习框架。该研究历经22年技术接力，成果在真机和赛事中验证，加速进化平台助力研究。
15小时3.5万Star！Altman投资的AI终端开源炸圈：曾经没人用，如今靠Agent翻身
AI编程赛道竞争激烈，Altman支持的现代终端Warp宣布开源，OpenAI成创始赞助商。Warp团队认为传统开发模式遇瓶颈，开源可汇集创意，让人类开发者转型为“代理管理者”。此外，Warp在功能上也有开放举措。
刚刚，“云计算一哥”版龙虾发布，奥特曼打着官司也要云站台
亚马逊云科技发布Amazon Quick，可连接本地文件等，打通生态，还是主动的Agent。奥特曼虽打官司仍云站台，OpenAI与亚马逊云深度合作。此外，Amazon Connect扩展成四个AI解决方案，发布会强调Agent是新企业操作系统。
谷歌TurboQuant会绕过“内存墙”？这个判断有点过了｜甲子光年
谷歌发布的TurboQuant论文引发市场震动，其算法可将大语言模型推理的KV缓存大幅压缩并加速。但将其视为绕过‘内存墙’判断过度，它提升单位字节信息密度，改变边际需求曲线，代表范式转移。