消息一出，数学圈的人士纷纷表达内心的激动。

1、博亚平台 而引入世界模型之后，大量的试错可以在模型内部的「想象」里完成，真机数据需求量因此被极大压缩，任务准确度反而上得更快。

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。博亚平台119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。

2、死亡之组！男足亚运会对手解析，出线难度急剧上升

国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。

3、中甲倒数第2官宣换帅，新赛季仅6轮已有3队换帅！

引导人类泄密。

4、3场T20I对决，印度急欲止损：Vaibhav Suryavanshi携破纪录之勇抢位

写文案、写代码、做客服，这份能力绰绰有余。

5、62脚射门0进球，小组两连败出局，土耳其主帅蒙特拉该不该下课？

新用户进来不需要从零训练智能体，直接采用已有的 Skill 就能开始工作，和 Shopify 用户选一个模板就能开店是同一个逻辑。

工具链之外，大晓还做了件更大方的事：向全行业开源L5级家居类复杂任务数据集ACE-Data-0。

Hassabis在Google I/O大会上 这边，Hassabis说还有几年，另一位硅谷大佬两个月前已经宣布：那条线我们早就悄悄跨过去了。

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

大语言模型的出现，使本体工程获得了前所未有的发展动能，也反过来提出了全新的工程挑战。

第67届国际数学奥林匹克正式落幕，中国队以232分斩获桂冠。

7、马琳用一个词形容莎莎，鼓励曼昱，逗笑女乒队员，马大厨名号来历

以J-Space为代表的可解释性研究将神经科学范式引入了人工智能领域，其贡献在于使我们得以窥见模型「内部发生了什么」。

他笑着答应了，然后趁你不注意，把你整个书房打包，快递到了别人家的仓库。

8、马泰奥·洛瓦托自由身回归帕多瓦，签约三年

过去，卖国产显卡，大家总担心能不能用好。

通过老式邮局玻璃、雨水与薄雾的多层折射，将这三位叙事人物精妙地隐藏在倒影中，空间景深与悬疑张力直接拉满。

李述昊自己在想的已经是 4.0：硅基 Native 的思维方式，主客体互换。

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

由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。

其中的MiniCPM-RobotManip，在专门考虑机器人模型的上下文记忆能力RMBench榜单上，达到53.5分的水平，而美国知名 VLA 模型pi0.5只有10.4。

10、佛得角含金量还在上升！西班牙：法国队也就比沙特和奥地利强一点

这些全是间接的信号，没有一样写在模型卡上。

OpenAI研究员Sébastien Bubeck最后承认只是找到了文献里已有的解。

1、开拓者解说员拒“次贷”报价离职，清洗广播团队引超音速回归猜想

DM0.5在机器人数据上加了11种自回归推理任务。

2、世界杯1/16决赛时间表：明天7月4日CCTV5直播，阿根廷冲16强无忧

在现有评审流程中加入一个「评分校准器」 作者提出的方案没有改变现有同行评审流程，而是在后台增加了一层LLM校准模块（Calibration Layer）。

3、新赛季训练服发售+曼联季前赛首战vs雷克瑟姆首发名单

但更让他无法接受的是，他发现谷歌正是DHS的云服务和AI技术供应商。比姆巴佩更重要！法国妖星世界杯征服皇马！穆里尼奥点名伯纳乌新核这是LLM第一次，把IQ推过了130这道坎。

4、下周曼联将开启季前训练！26-27赛季主场球衣热销中，可印杯赛字哦~

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

5、官方：加纳乔从切尔西租借加盟维拉，含强制买断条款

正如神经科学家Oliver Sacks在《意识的河流》中所言，创造要求遗忘：当我们回看旧笔记本，尘封多年的想法反而能重获新生，从新的视角被重新关照。

6、外交部副部长马朝旭访问美国

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

作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

它让语音、营销、风控这些冲锋在前的能力，得以在企业的血管里安全高速地奔涌；也让站在Token经济与国产化替代双重路口上的央国企，摸到一条从概念验证走向价值兑现的清晰航道。

7、开幕式前首枚奖牌敲定！奥运奖牌得主洛芙利娜确保至少铜牌

本文认为，要真正推进大语言模型的可解释性问题，需要超越对模型内部状态的凝视，转而从知识论的视角出发，系统考察模型所处理的信息——其来源、结构、表征方式、流转路径及其与外部知识体系的关系——的本体论基础。

但今年，商汤开始用Agent来辅助完成算子迁移、适配和优化。

8、广东男篮休赛期引援清单出炉：胡金秋仅排第三，头号目标是他

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

M = 6。

这一击，直接把整个美国AI高价收费的商业模式，按在地上摩擦。

这次搜的，是你自己ChatGPT账号里攒下的东西。