演讲伊始，陶大程抛出了一个核心观点： 「做具身世界模型，不是为了复刻像素，而是为了控制行动。

1、熊猫体育 OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

特纳甚至提出，愿意自费从旧金山飞到伦敦，当面向他们解答方案中的任何疑问。熊猫体育现在，这个抱怨终于「实锤」了。

2、补时绝杀！巴西2-1逆转日本，晋级16强！

金融想做风控、报表、智能运维，合规和数据安全是红线，享受不到公有云「封装成API、开箱即用」的便利，自建一套，选型、调优、监控、排障全得自己扛，非AI出身的IT队伍根本玩不转。

3、克拉克再吃技犯只差1次就禁赛 狂砍27分11助攻打爆太阳

大模型厂商在秀参数，算力厂商在秀集群规模。

4、倒数第一+防线告急，武汉三镇夏窗再引强援，保级关键战确认延期

当然，放手不等于放任。

5、尼克·萨班：谁夺冠不决定最强联盟，SEC从顶层到底层好球队更多

所有纹理必须用Canvas程序生成16×16像素图——不许用一张外部贴图。

而真正的创造性跳跃，需要一个有弹性的大脑。

全部由Grok Imagine生成。

6、麦迪琳失踪案弟弟肖恩首战英联邦运动会：12年前现场观赛，如今代表苏格兰出战

数据多，不等于数据能用。

一位开发者Pankaj Kumar体验后，率先对V4的性能做了一个中肯的总结： 整体表现接近Opus 4.8级别，编码直追GPT-5.6 Sol； Agent能力大幅增强，3D和SVG生成显著变好； 同样一个任务，V4所需的迭代轮数，比Fable 5多。

7、罗马诺：蒂莱曼斯今天完成体检+签约，交易已完成；DO谈曼联的中场第3笔引援

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

他把镜头拉得更远，直击人类最深层的困惑：「即使我们解决了这些艰巨的技术难题，仍会有更复杂的经济和哲学问题有待解决。

8、日本公开赛战报！2-1，2-1决赛决出4席！2场大逆转，山口茜惊险

商业广告 · 山岚高山乌龙茶 再看一张奢侈品级的茶叶广告，最考验的是材质和文字。

灵犀专业版想做的，是一个「越用越懂你」的办公助理。

没有它，一个跑一整晚的Loop，很可能就是一台睡着了还在批量提交垃圾代码的机器，而且提得理直气壮。

9、切尔西1.17亿镑夺罗杰斯创纪录，他真是蓝军新帅的那块拼图？

一位科学家出身的政府高官，在小象电动展台前久久驻足，详细询问了聚能磁轴向磁通电机技术路线与量产进展。

方法在推理阶段动态选择上下文，按状态启用去噪缓存，并用软硬件协同的3D稀疏注意力加速剩余计算。

10、1987年保时捷944S项目车无底价开拍：2.5升引擎不工作

别人拼弹药，它拼枪法。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

1、Ethan Pocic通过体检正式加盟乌鸦，一年合同填补林德鲍姆空缺

也就是说，那个从不涨价的「价格屠夫」，第一次给自己的算力装上了计价器。

2、正负值-4全队最低！杨瀚森持续低迷 在NBA锻炼一年表现还不如周琦

2026年的第二跳，他们发布了AstraBrain WAM进阶成果，一举打开Scaling Law。

3、“龙蟒组合”再登顶！马龙、许昕第三次夺得全锦赛男双冠军

7月15日，银河通用发布WAM-TTT，全球首个面向具身智能大模型的测试时后训练框架。锋线、内线及教练组全补强！北控没抢大鱼，却赢了整个休赛期如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

4、蝶变乘风起！桐昆集团蓄力扬帆领跑高质新周期

真的存在过。

5、世界杯最新积分榜：欧洲围剿阿根廷，4强产生2席，西班牙会师法国

终于，到了今天，AI轻松给出了简单的反例。

6、达拉斯飞翼布克斯因摔倒酸痛缺阵，已排除脑震荡_网易订阅

这四步在一个界面里完成，不需要在不同软件之间来回copy-paste，不用反复切换上下文。

这，或许才是「AI落地」这四个字，最本分也最扎实的含义。

凭什么说「越用越懂你」 灵犀跟其他AI产品拉开差距最大的地方是它的记忆工程。

7、1米75跑卫接班传奇5号：他不是下一个麦克法登，但想跑出自己的路

随着AI顶会投稿规模持续增长，同行评审面临的压力仍在不断增加。

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

8、3粒进球被吹！国安2-2战平残阵上港，VAR出尽风头

它不考核材料识别、理论辨析类问题，只聚焦基础空间操作任务：模型能否按照指令精准调整原子排布？ 图1： AtomWorld 基准测试流程示意图。

价格也低到离谱，每百万Token输入这类活，动辄十轮以上交互，还裹着一堆隐性的格式和一致性约束，中间断一环，整件事就废了。.3美元、输出.5美元。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。