比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、星空官方 代价是，偶尔它也会省掉不该省的那一次。

不仅如此，Gemini 3.6 Flash在省Token的同时，价格还更低了： 输入1.5美元、输出7.5美元每百万 Token，比3.5 Flash更便宜。星空官方算力的新货币，叫Token 今天上午，此芯科技创始人、CEO孙文剑登台，开口就扔出了一个判断： 我们正站在一个从「生成内容」到「完成工作」的范式跃迁的起点，而此芯科技，将是这场变革的核心驱动力。

2、切尔西被曝锁定加纳20岁全能中场，身价估值2700万欧

圆桌现场，五位嘉宾毫无保留地复盘了自己踩过最深的「坑」：任务闭环、接管率、真实环境的复杂性。

3、葡萄牙0比1西班牙：C罗结束世界杯生涯 迄今无缘大力神杯

金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

4、安德森亲承：曼城过去12年统治力是我加盟的原因

点一下土星，右边滑出资料面板。

5、咱们身边事丨阿勒泰市举办“四方助农”农业行业专场招聘会

是谁，在哪儿，把它造得这么便宜？答案藏在一层你从不打开、却天天在用的地基里。

好在，就在刚刚，面壁智能把具身智能的这块致命短板，补上了！ 7月19日，WAIC现场，面壁智能开源了首个具身智能系列模型成果MiniCPM-Robot，包含2个模型：MiniCPM-RobotManip（通用VLA模型）、MiniCPM-RobotTrack（跟踪导航模型）。

开源模型还没有复现这次跳跃，但它们追赶的脚步比去年更快了。

6、沃尔夫斯堡签下达马尔，五年合同助力升级

HMS备了六把不同的「钥匙」，按时间追、按人物串、按上下文补、按最新值查、按矛盾点抓、按关系跳，而不是什么问题都拿同一套相似度搜索去套。

更进一步，它还把这些关键致病位点，在3D蛋白结构图里逐一精准标注了出来。

7、伍兹之子被快门干扰后怒问：“哥们，搞什么？”，加洞赛饮恨出局

论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

当智能体同时进入企业经营和消费者决策两端，商品的流通方式、决策链路和增长逻辑都会被改写——他把这个趋势叫做智能体商业（Agentic Commerce），实现方式是 A2A（Agent to Agent），即企业的智能体和消费者的智能体直接对话。

8、全欧哄抢！穆里尼奥点名要他！皇马锁定 1.5 亿世界杯王牌！

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

上下文越长，模型反而越容易在其中迷路：位置偏差、多跳失败、无关信息的干扰，都是顽疾。

但当真正的危机到来，当你只需要发一封邮件、打一个电话就能改变历史时，你却选择了沉默。

9、3200亿美元打水漂？印尼迁都梦快醒了，中国经验不是谁都能抄

外行以为难点是「抓起一件商品」，真正的难点是把识别、拣选、装箱、履约稳定地连起来，一单接一单不出错。

第四道槛：两三千个智能体在上班 技术就位、产品上线、商业模式跑通，最后一道槛在组织内部。

10、最后一舞！39梅西世界杯卫冕失败 3进决赛1冠2亚

以前，是「生成一段好看的内容」，现在，则变成「生成一个可交互世界」。

打开 Claude 客户端，点击聊天框左下角的【+】-> Skills -> Manage skills -> Add -> Record your screen，即可开始使用这个新功能。

1、比梅西更有格局！阿根廷全队失态翻车，唯独一人赢得全世界尊重

说得再直白点，它开始长出自己的「文件系统」。

2、张稀哲89分钟绝杀！国安1-0深圳新鹏城，终结队史中超最差开局_网易订阅

用认知科学的话说，它有语义记忆，没有情景记忆；有工作记忆，没有长时记忆。

3、三点理由证明，选诺里做主帅，是开拓者给杨瀚森最后机会

真正能让一个开发者一天八小时不想离开的，是工作流有多顺、交互细节有多讲究、这个软件用起来有没有「高级感」。威尔士足协指控新圣徒主席发布AI裸女视频，此前曾因歧视帖被罚禁赛10场一场精心设计的骗局 如果你以为这只是几段摆拍，那就太天真了。

4、F1正与马来西亚大奖赛谈判 雪邦赛道有望10月4日回归填补赛程空缺

V4预览版发布时，官方自测的SWE-bench Verified中—— DeepSeek-V4-Pro-Max距Claude Opus 4.6 Max仅差0.2个百分点，价格却只有对方的七分之一。

5、张子宇28+10+4帽难救主，山东双星末节失误2分惜败

还有一个开发者更是通过「越狱」手段，直接逼出了网页端模型的系统提示词。

6、省下 8000 万！曼联弃将世界杯爆发！半场策动 4 球大胜

换上稍高自由度的本体，动作顺畅了许多。

虽然预算调低，不等于「模型变弱了」，它仍可能悄悄改变很多东西： 长程任务能够探索多少条路线，多种方案之间会比较几轮，代码生成后会不会主动运行测试，失败之后愿意回滚多少次，以及极难任务中那一小部分决定成败的「长尾能力」等。

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。

7、世界杯终极遗憾！英格兰王牌被图赫尔毁了，金球奖彻底悬了

但当VLA模型真正部署到机器人上时，一个关键瓶颈会立刻显现：机器人完成任务的总时间，不只取决于每次推理有多快，也取决于策略到底需要执行多少次推理、多少个真实物理动作。

翻遍公司档案，她甚至不是基金会的董事。

8、卡西利亚斯看衰阿根廷夺冠：西班牙才是决赛热门，巴西是历史第一

也就是技能从训练场带到新环境，还能剩下几成功力。

而在屏幕下方，一台机械臂正自主拉开易拉罐的拉环，将饮料稳稳递给台下的观众。

三名少年拿下42分满分。

更能说明问题的是它赢在哪里。