Physical Intelligence、Genesis AI、Dyna Robotics、Sunday Robotics等海外明星机构，与智元、清华大学、腾讯Robotics X等学术与产业力量同台，一众具身智能核心人物悉数到场。

1、熊猫体育 从神经科学到知识论 可解释性的进路之辨 「解释的本质，不在于凝视机器本身，而在于审视机器所凝视的世界」。

听上去简单，切片、上传、拼回去。熊猫体育形态不同，任务不同，物体更是千差万别——布偶、螺母、透明瓶子、柔性线束。

2、今晚中国女排对阵意大利！传来4个好消息和1个坏消息，有望获胜

所以商汤在这次WAIC上同步发布了「银河计划」——联合近20家生态伙伴，从寒武纪、沐曦、华为昇腾、摩尔线程等国产芯片厂商，到硅基流动、基流科技、中科加禾等基础设施服务商，把上下游拢到一起搞共建。

3、38场不败！西班牙主帅封神，从3个月临时工到世界杯冠军教头

它需要社会的每一个部分走到一起，共同定义这个新篇章。

4、2001年本田奥德赛EX无保留价上架：6万英里实际里程，加州一手车源

有些活得盯着外部系统，最简单的办法就是按时间间隔去查一眼，看变了什么再反应，比如一个可能收到评审、也可能CI挂掉的PR。

5、1957年雪佛兰老爷车换装348三化油器V8+六速手动，加拿大低调出售

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。

参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

而AGX平台的第一个实体，就是那台桌面级超算——AGX Station。

6、市委常委会召开会议 研究部署防汛抗旱等工作

Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。

佟佳睿（Richard Jiarui Tong）博士担任IEEE人工智能标准委员会（AISC）主席，并领导IEEE P3394大语言模型智能体接口标准工作组，在AI标准化与产业实践方面具有重要影响力。

7、13k英里无保留价！2000款宝马M敞篷纽约上架，当年同色仅148辆

都以为学校会被AI逼着改头换面。

成千上万个独立动作并行推进，命令与控制信道还会自己迁移、寄生在公共服务上。

8、德容发声：很难看到人们质疑我对巴萨的承诺，世界杯带伤踢到韧带全断

把PDF发票扔给灵犀，它就能在你的授权下，一步步上传文件、填写单据，把重复琐碎的操作全自动化。

官方一句话说透了定位：ChatGPT不再只是回答问题的机器，而是你攻坚复杂工作的伙伴。

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

9、只差1次停赛，克拉克回应第7次技犯：“她说锁住我，我说看记分牌”

金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。

10、两年巨亏超2.5亿，95后女董事长因涉嫌信息披露违法违规被立案

用软件的人和做软件的人，那条线开始模糊了。

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

1、Stephen A. Smith：库里当属历史前五，名人堂为他首开现役球员特展

为什么要用8万块积木折腾15个小时？ 答案藏在制造业的一组数据里—— 目前全制造业通用产线上，仍有约20%的精细、非标、柔性、感知判断类工序必须依赖人工精细操作微米级精密装配、柔性/易碎物料微调、缺陷返修与首件判定、狭小空间操作。

2、热刺季前赛开门红 新援85分钟世界波 三大新中场亮相

表征一：「身随眼动」 相比于让机器人实现一些高难度的动作，高德的ABot-N1更聚焦于让机器人合规安全的走进人类生活当中。

3、哈雷CVO Dyna现身：22年仅跑1800英里

文件夹中可以放如下内容：一页纸的业务和优先事项概要、常干活儿的操作规程、在办项目的关键信息、常引用的战略文档，再加一份决策日志。一支NBA冠军球队，两个老板的博弈与分权它带来的改变是革命性的—— 同功率下，体积和重量减少1/3；扭矩密度达到20Nm/kg，较传统电机提升近4倍；功率密度达10kW/kg，提升近3倍；系统转换效率高达97.5%。

4、15连胜追平80年前神迹 红袜6比3击退金莺创21年来MLB最长纪录

Beck自己当年也没算，而依他的判断，如果那个常数值得一提，Beck不会不算。

5、中央5台直播世界杯时间表：明天7月16日半决赛，英格兰PK阿根廷

Gemini 3.5 Pro的延期，正是这个闭环的必然。

6、罗德里亲承“艰难时刻”：背部重伤恐需手术 曼城新赛季遭重大打击

她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。

作者叫József Beck，这个名字在组合数学圈无人不知。

第三种，时间循环（/loop和/schedule）。

7、中超第20轮大胆预测：上海德比战平，国安力克蓉城！河南击败山东

雅可比猜想的证伪可能只是倒下的第一块多米诺骨牌，多个猜想或将被证伪。

下午4点，放学铃响过，一位美国中学老师收拾好东西，开车回家。

8、郭艾伦将离开广州队，下赛季会去哪，依我分析，下家3选1

他将记忆拆分为两个环节： 保持（Retention）：经验在神经中留下痕迹； 回忆（Recall）：从当前线索出发，沿联结网络重返过去情境。

那么问题来了，通用LLM已经这么强了，为什么还要单做「科学基础模型」？ 答案，藏在一个根本的错位里。

VLA在做，世界模型也在做，这完全不冲突。

如今不到两周，狂飙一百万行代码，就把Zig换成了Rust。