统一框架下的具身多模态推理：自变量机器人让AI放下海德格尔的锤子

当前先进机器人无法像人类自如用工具，现有多模态系统有局限。自变量机器人提出端到端统一架构，以统一表示学习和多任务多模态生成解锁具身多模态推理能力，实现范式转换。

人类程序员依然远强于LLM：为什么说 AI 目前还差点火候

Redis之父Antirez的博文指出人类程序员远强于LLM。他修复Redis向量集缺陷时，与Gemini 2.5 PRO交流，虽其有帮助，但人类跳出固有思维解决问题的创造力是LLM难以企及的。

搜攻略到凌晨3点？飞猪AI“问一问”用1张表谋杀废话

作者用旅游方案提示词测试各类Agent产品，多输出废话。飞猪“问一问”旅行Agent却很厉害，能生成实用旅行规划，还给出汇总表格、地图、行程卡片等，考虑全面且细节丰富，还能找特价机票。

叶子豪、陈天奇等人开源项目FlashInfer入选，MLSys2025最佳论文奖公布

近日，MLSys 2025公布最佳论文奖，FlashInfer等入选。FlashInfer由多机构合作发起，是灵活的LLM推理内核库，优化内存访问、有可定制模板和调度机制，性能提升显著。另一获奖论文提出Negativa - ML可消除ML框架臃肿。

大模型从“胡说八道”升级为“超级舔狗”，网友：再进化就该上班了

西交大提出QQWorld：仅需10行代码，世界模型成功率提升5.33个百分点

2026 年 3 月 Yann LeCun 等人提出 LeWorldModel，西安交通大学研究团队发现其存在问题，进而提出 QQWorld，用分位数—分位数匹配替换原有的 EP 正则，提升了规划成功率，还提出 Cross - Batch QQ 解决显存问题。

Claude杀入全美教室：一周干49小时的老师，终于等来免费AI助教

7月14日，Anthropic推出Claude for Teachers，向全美K - 12教师免费开放高级能力与教学技能库，接入50州课标。它能完成备课对齐、差异化分层、数据分析等工作，不碰学生端，定位是帮老师减负。

中国黑马狂赚3亿美金！国内AI应用断层第一，估值20亿美金

演语科技完成近3亿美元B+轮融资，投后估值超20亿美元。其ARR超3亿，构建起业务闭环。旗下LibTV、LiblibAI和星流表现出色，创始人陈冕布局生态，演语已成全球第一梯队玩家。

两个哈佛女生用AI做电池故障排查，数月的工作量被缩到了几分钟

哈佛毕业女生 Eva Tuecke 和 Catherine Yeo 创立 Altara 公司，获 700 万美元种子轮融资。其系统能整合电池等物理科学领域分散数据，将故障排查时间从数月缩至几分钟，还能确保输出可审查，适应不同机构需求。

用AI复制人脑可行！MIT论文估算500亿美元、10到25年可实现

美国麻省理工学院研究生艾萨克·弗里曼团队论文指出，大脑仿真正从梦想变为可量化工程问题。关键技术加速发展，成本降低、算力接近需求，未来或可用于医疗等领域。