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

1、金年汇 然而，到了今早，彭博社记者的一篇报道，让人瞬间失望。

为了确保执行的准确度，这次长城挑战还引入了DFOL2.0做后训练—— 一个引入「世界模型」DW0.5的框架，让模型先在虚拟环境里千锤百炼，再上真机。金年汇在自回归视频生成中，当前chunk、历史KV、文本token和因果布局交织在一起，Q/KV长度高度不对称。

2、武都区裕河镇：夏日制茶忙 红茶溢醇香

它适合零散的短任务，不进流程、不上日程。

3、【真西红柿“首富”】世界杯夺冠，加维和鲁伊斯在家乡收获与体重一致的西红柿大礼

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

4、世界杯8强出炉，欧洲6席，法摩西比死亡半区，英阿有望会师半决赛

「我想验证一个猜想——在这个行业里，只要你的论文写得像真的、参数标得足够大、Benchmark跑分足够高、网站做得足够专业，再加上几个有影响力的人转发，整个AI圈究竟需要多久，才会有人愿意真正去审视和检查模型本身？」 答案是，你想一夜爆火，根本不需要一个真正世界第一的模型，只需要一个看起来像世界第一的网页。

5、继续为国争光？利好：亚冠精英赛扩军，海港位列第一档

Shadoweave真正的野心，在这一面。

但难的不是这三步，是中间那一地鸡毛： 分片乱序到达。

本届展会，万拿机器人亮相世博展览馆 H3 具身智能馆 E521 展位，重点展示万拿 Std16A 工业实战型灵巧手、万拿 Eco12 轻量拟人型灵巧手，以及自主研发的微型伺服电缸，呈现从底层核心执行器、灵巧手产品到真实场景解决方案的技术路径。

6、首轮秀开局遇冷？美记曝海鹰计划重用霍拉尼，普莱斯或被安排与霍拉尼分摊球权

审慎0.24σ，深度0.23σ，是模型层面所有数字里最大的两个。

如果说纳德拉的表达仍然带有平台生态和产业结构的抽象性，那么 Karp 的表述则更加直接，甚至带有明显的愤怒。

7、筹钱救治脑瘫儿子，湖南宁乡爸爸守护20亩瓜田盼销路，“我们不是想接受捐助，就是希望靠自己的劳动养家”

Token不再只是聊天的开销，还成了重构企业流程的「生产资料」。

在蛋白质位点预测上，它统一支持多类残基级功能位点识别，并在PPI、Epitope、小分子结合位点等任务上达到了行业领先水平。

8、4连败蓝鸟迎战争冠头号热门光芒 主场0胜3负后能否奇迹反弹？

一座工厂最怕的事：五个老板管一条流水线 那为什么同样买国产卡，有些智算中心依然亏钱，商汤能把利润跑出来？ 答案不在某一张卡，而在整座工厂的控制权。

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

对于开发者来说，这意味着拿到手就能用，不需要重新搭建复杂的感知、规划和控制系统。

9、永靖：雨情润田助生长 科学管护保丰收

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

其中行业首个集成三维力触与动捕信息的ACE Sense Glove采集手套是点睛之笔：0.01N的力触觉灵敏度、小于2°的关节角误差、20余种异构传感器同步误差严格控制在1毫秒内。

10、张晓彬缺阵！目标3分，武汉三镇没有退路可言！

Bun之父 让AI重写百万行代码 当年，Jarred Sumner押注Zig的逻辑很纯粹：用极致的简洁，榨取媲美C语言的性能。

大厂vs创业公司：谁会赢？ 「大厂的问题大家都很清楚。

1、13连胜！红袜追平队史第二长纪录 自6月下旬18战2负

在DM0.5技术博客中，有这么一句话：团队希望有一天，真实世界本身成为机器人最好的老师。

2、避暑胜地＋观星天堂！阿勒泰地区布尔津县获国家级“认证”

传统企业积累的是Human Capital，也就是员工、专家、组织经验、专业判断和管理能力。

3、博洛尼亚为卢库米标价2500万欧元，拒绝贝西克塔斯球员交换报价

前者靠语言表征就能大规模积累，后者还在满世界找「经验的通用表征」。蓉城三大外援成软脚蟹了！韦世豪情绪管理太差了，球迷：约翰冒充职业教练这次还顺手把整套教学技能开源，配上一门给K-12老师的AI素养课。

4、为什么公羊与孟加拉虎的超级碗重赛最值得期待？答案只有一个：乔·伯罗

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

5、东风17实弹发射画面首次公开，火箭军一甲子，这一幕让世界屏息

传统的AI生成流程是：你输一段prompt，它出一张图。

6、阿根廷加时两连击！瑞士悲剧重演！时隔36年！四支拿过世界杯冠军的球队会师四强！

如今，全球AI早就跨过了「能不能用」的青涩期。

从当年自研TPU减少对英伟达的依赖，到今天把模型直接焊死进硅片，谷歌走的是同一条路的更深处：软硬件协同的尽头，是软硬件合体。

杨帆说了一段特别犀利的话：很多自称算力服务商的公司，实际上是帮大厂代持机器、签长租约，本质上提供的是一种金融服务。

7、无视外界批评与误解！C罗：世界无法定义我的传奇，从来只为自己鼓掌

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

世界上没有人能确定接下来会发生什么，连专家们也各执一词。

8、B费亲承梅西就是GOAT！坦言：我不是挑事，只是在表达尊重

比如，让它审计一个代码库的安全漏洞。

7月10号上海用电紧张的时候，国网发出需求响应，商汤临港数据中心两小时内释放了75%的容量，少用了4.6万度电。

华科大团队给出的答案是否定的。

机器人首先判断当前是否偏离路线，再决定继续前进、转弯或进行方向修正，最后生成局部空间目标。