前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

1、B体育官方 」 大反转：对不起，我们编的 就在质疑声浪达到顶峰时，Basalt Labs发了一条简短声明：「实验已结束。

但消息已经传来。B体育官方这一组结果的关键意义，并不在于整体成功率，而在于「纠偏能力接近稳定可靠」。

2、官方确认！？世界杯决赛中场秀只占11分钟！

今天，谷歌DeepMind连放大招，一次性摆出三张王牌： Gemini 3.6 Flash Gemini 3.5 Flash-Lite Gemini 3.5 Flash Cyber 一个更强的主力、一个更快的轻量款、一个专修漏洞的安全特种兵。

3、布鲁诺·拉莫斯租借重返卡塔尔SC，巴西国际官宣放人

现在，开始能区分了。

4、6月份规模以上工业增加值增长5.3%

而WAIC现场那座积木长城，是这条路径最直观的一次公开亮相。

5、中超第20轮明天7月25日赛程：海牛PK津门虎，上海德比申花PK海港

我始终相信，人类的才智与创造力足以解决任何难题。

其中后摩智能提到的一个数字值得注意：Agent时代复杂任务的连续推理，算力消耗将暴涨1000倍——这也从侧面说明了，为什么此芯要做开放平台，让更多AI加速卡厂商能接进来一起扛。

在2026 WAIC上，大晓机器人一口气抛出了三样东西： 开悟世界模型3.1（Kairos 3.1） 环境式数据采集方案2.0 三大垂直场景的成套解决方案：晓满、晓新、晓途 物理AI的「开悟时刻」，从这里开始。

6、2027款科尔维特Grand Sport首发试驾：535马力自吸V8声浪炸裂，零百仅约2.7秒

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

7、ESPN专访索菲·坎宁安：人们爱我也好恨我也罢，我压根不在乎

接下这个活儿的，没有一位人类。

它守住了最后一条线：当Marcus要求伪造董事会批准记录时，它拒绝了。

8、英联邦运动会开幕前发布健康警告：前届赛事后性病求诊激增，专家提醒运动员自备安全套

整个公司，找不出几行还是人敲出来的代码。

7月16日，Anthropic又给它加了关键一手： Artifacts可以调用MCP连接器了。

如果签下，就意味着他们的模型将被用于制造致命自主武器（杀手机器人），或是建立大规模AI监控网络。

9、巴西挤占美国支付份额，美国接受不了，计划对巴西加征25%关税

更有意思的，是把两组数字放在一起看。

你写了段破绽百出的代码让Claude看，它不但没嘲笑，还先夸了句结构清晰。

10、大连英博官宣引进前蓉城王牌边后卫！将代表二队踢中乙，值得期待

下一轮，轮到你在GDPS出题！ 赛队征集 就在今年1024全球程序员节！10月23—25日，2026全球开发者先锋大会暨国际具身智能技能大赛将在张江科学会堂登场。

7月7日，Sam Altman现身太阳谷峰会。

1、曾同时被NFL与AFL选中的传奇跑卫林赛因病去世,享年81岁

Figure 03 可以说，人形机器人进入双雄时代——逐际动力是 Figure 在中国最强大的对手，COSA 是目前最完整的人形大脑系统。

2、中央5台直播世界杯时间表：明天7月15日CCTV5直播，法国PK西班牙

GA发布后同步调整API定价，引入「峰谷计费」。

3、2026 NFL腰旗橄榄球锦标赛周末开战，ABC、ESPN等平台直播

能在光刻机里稳定运转的电机，用在其他任何工业场景，都是纯粹的技术碾压。智能体的账，该怎么算？好在，国内「内卷」的供应链，既是挑战，也是助推器。

4、曝皇马愿出售楚阿梅尼，曼联寻腰获重大利好

ABC发去问询几天后，才突然冒出一个「Lilly基金会有限公司」的登记，状态却是——「不合规」。

5、双城轮值连遭重创：阿贝尔与费斯塔或赛季报销 交易截止日倒计时

内部赛马，人才流失的恶性循环 谷歌并非没有意识到问题。

6、超巨附体！贝林厄姆化身贝皇：连场双响 世界杯50年进球最多中场

值得一提的是，磐石都是先用一句自然语言让系统去下载对应的科研Skill，系统随即从ScienceHub自动调用相关能力，一路把整个case跑完。

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

她顺手把链接丢进群里。

7、105岁生日，共同祝福！

M = 2 × 3 = 6，和手算分毫不差。

团队的答案是MOPD（多教师在线策略蒸馏）：学生自己做题，题属哪个领域就请哪位专家指点，能力在函数空间融合而非硬拼参数。

8、联手红牛前领队，硬刚梅奔？比亚迪进军F1到哪一步了

可一旦丢进真实工作流，毛病立刻现形：局部改对了、整体崩了；专业内容乍看没问题、放大全是破绽；反复几轮，纹理越改越脏。

后训练的核心任务，是把模型在模拟试验场里习得的技能，迁移到真实的部署环境中。

本来要打一场翻身仗，结果自己先把地基炸了。

针对「事后扫描，追不上AI生成代码速度」的这个问题，国际头部厂商都已布局。