聚焦才能专注，我们也提高了标准，看中的项目就多投一点、持续加注。

1、kai云体育 陶哲轩等几乎半数当代菲尔兹奖得主都是从IMO出来的，谷歌联创Sergey Brin也拿过IMO金牌。

在这个伟大的时代，英诺内部要求每个人都要提高自己的投资品位，把目标瞄准千亿市值的公司，这完全不是梦想。kai云体育李想在多个场合强调，理想不是一家汽车公司，而是一家人工智能公司。

2、高斯曼含泪谈交易传闻：“我们多么幸运能在这里，我哪都不想去”

展台的观众用一句大白话下指令，机器人当场理解、准确执行。

3、玩转阿勒泰丨山水如初，风华更盛 一位游客眼中的喀纳斯十年之变

数学家们 慢慢笑不出来了 Gowers在博客里回顾，早期那些所谓「大模型解决了研究级问题」，笑一笑就能过去： 不少所谓的解，其实是模型发现答案早就躺在文献里，或者能从已知结果轻易推出来。

4、费兰·托雷斯加时绝杀后坦言“不敢相信”：进球属于4700万西班牙人

再顶尖的大模型，也没法凭空生成实时资讯，更不可能把缺失的数据“推理”出来。

5、申花4-1、西海岸3-1！中超积分榜：第4到第6同分，申花力压上港

”程衍樑也很无奈，“这行像打猎，放十枪，也就中两三枪。

在Newton中，光轮参与物理求解、仿真资产、机器人训练与评测等核心能力建设，推动真实世界中的物体、任务和物理过程，转化为机器人可以交互、训练和验证的仿真基础设施。

2026年4月，Claude Mythos Preview做到了52倍。

6、图赫尔3.5分！英格兰全队打分：戈登最高，凯恩5.2分，4将不及格

奋手一搏的背后，是小红书亟待补齐的用户短板。

展台的观众用一句大白话下指令，机器人当场理解、准确执行。

7、格劳啥水平？大号卢永涛！海港帮津门虎清理库存，再引葡萄牙中卫打亚冠

在推理过程中，也会借助递归自我批判能力，审视自己的论证，从而解决更多现实中的复杂任务。

半数以上近一年融到资的“独立具身数据服务商”成立时间不足一年。

8、阿根廷主帅斯卡洛尼直言：只要梅西还想踢，他就是世界第一！

Agent 即使理解了用户想要什么，也可能在工具调用时读错区域、重复试错、扩大修改范围，或者在目标尚未覆盖时提前结束。

单场景任务各家公司只要努力都能完成，真正考验基础模型能力的，是以一定的可靠率完成多个任务。

7月17日，2026世界人工智能大会（WAIC）首日，在CIDC举办的“构筑AI算力与绿色能源融合发展新范式”算电协同专题研讨会上，达卯科技全新推出算电协同2.0平台･AIDC绿电直连能源运营操作系统，以行业首创「融合推演智能 + 统筹博弈智能」双引擎架构，打通从数据感知到价值交付的全链路能力闭环，让电力从算力的成本单元，真正转变为Token的价值支点。

9、下届世界杯，还会有中国裁判吗？

同一项技能，训练时精通，部署时失灵，这就是学术界常说的部署到真实场景中泛化性衰减。

图片由AI生成 不过，让人真正感到惊喜的，还是第三题传递出的模型创新思维 这是一道组合博弈问题，网上关于本届IMO赛题讨论的常见解法，是先将原问题转化成图论中的连通性问题，再借助图论语言建立证明。

10、中南大学原党委常委、副校长郭学益被“双开”

分子构型、晶体坐标、实验谱线与复杂公式图表中，蕴含了大量自然语言难以穷尽的信息。

虽然有AI组的正确率依然明显低于无AI组，不过，这一规则也并非是毫无作用，它至少让人们减少了一点向AI求助的次数： 数据显示，在有奖励的条件下，参与者向AI寻求建议的平均次数从5.44次降到了4.93次。

1、印度国羽中国公开赛全军覆没：拉克什亚惨遭逆转，阿尤什决胜局20比22惜败

那时候的马斯克，穿得像一个拼命想让资本市场认可的年轻创业者。

2、英超转会出现新趋势：买熟男更稳，年轻球员遇瓶颈

当个别企业为短期利益采取虚假宣传、窃取商业秘密、低于成本定价等破坏性手段时，行业协会要挺身而出，通过行业公约、监督机制与惩戒措施，维护竞争秩序的公正性。

3、曝切尔西20岁荷兰后卫被推荐给曼联阿森纳，已为出战欧冠离队

拿这些接近天花板的底座，再通过LoRA强化学习把关键能力推到真正SOTA。Connor Kay仅隔一周重返Autosport排行榜榜首，TVR和MG胜利成关键程衍樑得到一个教训：MCN要成立，前提是能给创作者分钱，可那时播客的广告与订阅收益都薄得可怜，重投入换不来回报。

4、美军战机直扑中东！飞机添油战术酿成大祸，大批美机恐有来无回

正在被推向2030年的，除了菲尔兹奖评委会，还有每一个正在选题的博士生、每一个正在带学生的导师，以及原有的学术评价体系。

5、阿德耶米：他们向我解释，加泰罗尼亚不等于西班牙

写下一句话后，日记就会像原著一样自动浮现回应，简直把魔法氛围拉满了。

6、二手狠货：雪佛兰Silverado 2500HD柴油皮卡仅7.7万英里，升高套件加持

GPT-Live可以被打断。

构建核心技术“动态本体” 韩涵用一个工业时代的比喻来解释大模型的影响力：GPT之前的“AI模型”像蒸汽机，只能围绕自身的机械力解决问题；而大模型则像发电机，将算力转化为通用能源。

中国电信的视联网已经形成覆盖1亿路摄像头的视频资源基座。

7、尤文外租球员报告：鲁加尼表现未达预期，年轻门将达法拉有望回归

李世石下出那手“神之一挖”的时候，他激动得把可乐摔在了地上。

【视频请到公众号查看】 包括这个场景在内，这个季度，小米机器人一共新解锁了两个工站——中控台侧盖板排序和料箱折叠回收。

8、22岁攻击型中场达马尔加盟沃尔夫斯堡，转会费600万欧签约至2031年

传统模式下，算力、电力、热力、管理这几个系统常常是分头规划、各自建设，等到最后现场集成调试，才发现彼此不兼容，返工是常事，工期也跟着往后拖。

这次Builder Hub升级，真正的变化在于实现了「闭环」！ 过去，种草在小红书，下载在应用商店，转化就漏在这两者中间。

Luna Ultra首创了第一人称头追模块，可实现“人看哪里、相机就拍哪里”，并设计了更多交互创新。

这组结果的重点不是又换了一个更强模型，而是在同一个模型外面，Harness本身也可以被搜索、验证和迭代。