内部人士称，Gemini 3.5 Pro的开发进度已经落后了数月。

1、九游体育 这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。九游体育通用问题一旦被攻克，专用难题自然被一并解决。

2、莱昂纳德重回多伦多！快船猛龙达成1换7交易 莺歌迪克奔赴洛城

每一个被提出的候选证明，都要被拿来疯狂攻击。

3、今年母亲节，和妈妈一起变漂亮

参考资料： https://x.com/ClaudeDevs/status/2077489907350856038 https://claude.com/blog/artifacts-in-claude-code https://claude.com/docs/connectors/overview 编辑：元宇新智元报道 最近，微软CEO Satya Nadella和Palantir CEO Alex Karp几乎在同一时间，从不同角度提出了一个越来越尖锐的问题： 当人工智能开始深度参与企业的思考、决策和执行之后，企业究竟是在获得一种新的生产力，还是在逐渐把自己的知识、经验、判断和竞争优势交给外部模型公司？ 这并不是一个简单的数据安全问题，也不仅是一个模型成本问题。

4、乌拉圭官宣：弗兰出任临时主帅，合约至2027年兼顾青训

我们总担心AI「失控」是什么末日大片的场面。

5、征集

这双「手」亮相 WAIC 2026，同台的微型伺服电缸最轻仅约 31 g，推拉力却可达 250 N。

而PixVerse，正在铺就这条通往未来世界的铁轨。

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

6、5.7欧联杯推荐：弗莱堡vs布拉加

」 这句话配上截图，在开发者社区迅速传播。

谷歌深夜放大招 三款Gemini齐发 三款Gemini，接下来一一拆解。

7、对标比亚迪宋plus DM-i，吉利银河星舰7正式揭晓，配1.5L插混

一个模拟用户与智能体展开一到多轮正常对话，把任务自然地交付出去。

9项任务8胜1负！ 不过，比成功率更能说明问题的，是另一把尺子：泛化保持率。

8、起底米兰目标新帅格拉斯纳：多次缔造神奇纪录，擅长培养正印中锋

正是这些不起眼的地基活，才撑起了后面平稳的训练。

随着视频世界模型走向更长时序、更复杂控制和更高分辨率，这类状态感知的推理优化方法可能会成为重要方向。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

9、佳点观察｜"白警官"走红，红在执法有锋芒，也有温度

分两种情况——如果gcd(m,n) > 1，素因子总数T会减少；如果gcd(m,n) = 1，T不变但大于1的数少了一个，N减1。

它精准打通了UniProt与GWAS数据，完整补充了ClinVar与gnomAD中的临床与人群频率信息，构建了立体的突变注释网络。

10、别再被椰子水骗了！日常健身没必要喝，平时替代水又胖人！

模型训完了，真正烧钱的是接下来7×24小时永不停歇的推理账单。

从Tool到Agent，从Token到Task，从Programmer到OPC。

1、英格兰图赫尔与贝林厄姆的碰撞，给英阿大战埋下伏笔！隐忧已现！

走到2026年年中，大模型这场仗，早就不只是比谁更聪明了—— 而是比谁能把「最聪明」这件事，做到让普通人也付得起。

2、费解，NBA史上有比雄鹿加里·特伦特6400万美元合同更荒谬的合同

这份证据，到现在还是缺席的。

3、夏联进4强，火箭31号秀5场数据出炉：场均18+4+4+2抢断，优势与短板明显

走到2026年年中，大模型这场仗，早就不只是比谁更聪明了—— 而是比谁能把「最聪明」这件事，做到让普通人也付得起。福特锐界L新车型上市，如果降价10万有人买吗？它选了粒子流体模拟，物理按真实时间推进而非每帧盲跑固定运算，CSS、界面、渲染全塞进一个HTML文件， 还自动托管成可分享网页。

4、极氪向上初成，领克开启战略重塑：林杰在线求支招，向宽品类拓展

Fable 5不会记住你。

5、复旦大学研究：血脂不超过这个值，不用太克制，该吃吃该睡睡

智元补世界模型补得更狠。

6、AC米兰3000万欧，签约中卫马里奥，利好穆氏皇马！今夏收入超1亿

「AI吸血鬼」 AI越强，人越睡不着 Andreessen真正引爆硅谷热议的，是他对软件工程师的观察。

这张《岚月》角色设定图，足以证明了U1 Pro具备了「主美级」的落地能力。

甚至在极端情况下，该机构有权协调全球实验室共同放缓研发速度。

7、权力地震：英国新首相把“唐宁街10号”搬到曼彻斯特，地方市长直接接管经济决策权

算力的新货币，叫Token 今天上午，此芯科技创始人、CEO孙文剑登台，开口就扔出了一个判断： 我们正站在一个从「生成内容」到「完成工作」的范式跃迁的起点，而此芯科技，将是这场变革的核心驱动力。

唱衰派以用户qrdl为代表，「5.6的思维链输出少得可怜，677那道题毫无进展，物理侧的CritPT评测相比5.4几乎没动」。

8、湘潭市校园餐标后见证首学年实现零违约

Figure AI则通过深度绑定OpenAI，将顶尖VLM注入钢铁躯壳，让Figure 01/02机器人具备自主推理、语义理解能力，进驻宝马的汽车生产线。

验收：每个问题给出文件位置加修复方案，交差前自己先对着复核一遍。

宣传里的性能，和现场跑出来的体验，是两个世界。

从高德此次全新发布的五款模型背后，我们能够完整看到这套体系究竟是如何应用于机器人，并实现它们质变升级的。