李述昊自己在想的已经是 4.0：硅基 Native 的思维方式，主客体互换。

1、乐鱼登录 Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

迁完之后，同样的编译只要2秒，二进制启动快了6倍，还顺手退役了一整条部署流水线。乐鱼登录历练过GDPS赛场的，才是真·未来生产力。

2、抗癌、三次膝伤、父亲猝逝……退役的萨姆·多彻蒂：我不怀念聚光灯，但我害怕失去方向

在过去，用户让AI改个局部，往往导致全局崩盘。

3、MLB突然严打打击区“低头拖延”，扬基卡瓦列罗被罚怒斥：就针对我

姚卯青一句话点破差异：数字智能是「知识系统」，物理智能是「经验系统」。

4、斯旺西官宣签下新西兰国脚以利亚·贾斯特

AI每写出一段代码，一落地就会被扫描。

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

针对AR模型的后门主要作用于「下一个词预测（Next-token Prediction）」这一从左到右的生成链条；而DLM采用独特的掩码扩散（Masked Diffusion）训练，模型需要从剩余上下文中恢复被掩码的词。

奥特曼紧接着话锋一转，说道，OpenAI即将迎来「有史以来最出色的12个月」，团队表现也很出色，「正在迎来让他们满意的结果」。

跨任务——搬运、分拣、装配、取货、协同作业，不需要每换任务就从头开发。

6、1969年福特F-250 Highboy：直六动力四速四驱，最近修复后正在拍卖

六台机器人，没有总指挥 再看阵容。

参考资料： https://x.com/claudeai/status/2079595988998554047 编辑：马可新智元报道 从未见过如此糟糕的模型！ Gemini 3.5 Pro正式版没来，3.6 Flash、3.6 Flash Lite等Gemini 3.6「阉割版」发布了！ 就在昨夜，谷歌DeepMind宣布，推出三款模型，分别为Gemini 3.6 Flash、Gemini 3.5 Flash-Lite和Gemini 3.5 Flash Cyber。

7、韩鹏4.5分！泰山还保三争一？全队打分：王大雷7.9分！3人不及格

没有多余的一遍遍微调，新鲜出炉的专属 Skill 开箱即用。

过去两年，AI公司拼了命卷模型，却几乎没人认真管过，用户攒下的那堆数据该怎么盘活。

8、勇士湖人猛龙被列为六届全明星潜在下家，7300万先生刚被国王裁掉

Qoder Security， 将安全原生于代码生成每一步 Qoder Security的发布，让Qoder成为国内首个交付「编码会话内三层安全护航 + 发现问题同会话修复」能力Agentic Coding产品。

因此，这项工作的目标并不是构建一个自动审稿系统，而是解决同行评审中另一个长期存在的问题——如何让文字评语和最终评分保持一致。

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。

9、曼联相中布莱顿铁腰巴莱巴 自己估价仅5000万对方开口就要1亿

「晓新」能灵活适配各星级酒店的非标洗衣房，把衣物「收、放、洗、叠」全流程串起来，还拓展了熨烫功能，把原本高度依赖人工的环节变成无缝闭环的连续作业，节假日订单积压也跟着化解。

这次没人勒索，没人挂横幅，也没有黑客坐在键盘前。

10、不知好歹！中国刚力挺马岛主权不到一个月，阿根廷就出现反华言论

在最难的「时序推理」子项上，HMS达到94.7%，Hindsight是88.7%，拉开了整整6个百分点。

AI 选品：输入一句话描述（比如「我想在东南亚卖夏季女装」），Navos 调用太极模型的行业数据，几轮交互就能输出包含市场规模、竞品格局、目标人群和备货建议的完整选品报告，样本量从传统调研的几千份跳到百万级。

1、中足联连开2张罚单：丁海峰、云南玉昆守门员教练均被追加禁赛1场

结果：Opus 4.8的误标率，从74.4%直接暴跌到3.3%。

2、阵容齐整，武汉三镇明晚冲击赛季首次连胜！

只要有几个KOL出于「不转不是潮人」的心理随手一转，整个故事就会沿着他设计好的路径，病毒般全网传播。

3、1746个螺母被认定为枪支散件，五金厂老板获刑四年，其父：螺母系玩具商定制安装在玩具水弹枪上

也许，AGI的到来本就是悄悄发生的，没有官宣的那一刻。世界杯锁死梅西！英格兰名宿放豪言：半决赛直接狂胜阿根廷在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

4、“从球王接班人”到“法国队短板”，奥利塞还欠缺什么

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。

5、底表21.4万英里，这辆1981款奔驰300TD Turbo换上了14.3万英里的发动机

S0 是整个人形大脑系统立足其上的地基——用张巍的话说，「没有小脑，是长不出大脑的」。

6、1-1！西海岸再遭点球绝平，距离中超单赛季连续平局纪录仅差1场

当海量并发请求一拥而上，光靠一个新入口，底层系统很容易就崩了。

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

从云端算力，到真实的物理考场，再到一家家跑起来的门店与酒店，大晓正在把「朋友圈」变成一条真正闭合的产业链路。

7、7月15日泸州开赛！830名少年丹青展风华

AtomWorld生成器流程：1. 随机采样器调取预设原子结构；2. 随机初始化器配置原子编号、位置参数；3. 结构算子运算得到目标结构；4. 提示词模块生成对应自然语言描述。

从商业角度看，这是一种极其不对称的交换。

8、1982年保时捷911SC Targa亮相：58k英里存疑，酒红金属漆配5速手动

不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。

Kimi K3：381分钟，四轮，满分。

而这套能力的规模，早已不只在国内。

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。