吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。

1、博亚平台 财务同事打开之后能直接改、能追溯、能校验。

他把它称作「里程碑产品」，也是AGX战略的第一个落地物证。博亚平台赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

2、1-0！3-0！随着韩国队“爆冷”输球，亚洲首支晋级32强赛球队诞生

他发现，Monolith-1.0网页端切分token的方式，与DeepSeek的Tokenizer完全匹配。

3、首个AI打车正式上线 滴滴重塑出行服务的确定性

逻辑很直白——Token既然是新货币，那省下的每一焦耳，都是真金白银。

4、McMenamin：金州勇士仍在詹姆斯潜在下家之列

这对于AI可解释性的深层启示在于：当我们解释一个语言模型的输出时，真正「可解释」的不是内部神经元的物理激活，而是信息被范畴化、被结构化为可理解知识的过程。

5、索顿23+4杰明21+3 火箭大胜篮网

这就像是给每条道路发两块特殊的车牌，只要保证每个十字路口，同种颜色的车牌总是成双成对地进出，证明就可以完成了。

但「能用」之后暴露的问题，远比「不能用」时更棘手。

量变的数字更惊人。

6、宏远速递！朱芳雨正式下课，周鹏回归有望担正，奎因萨姆纳签约权被兜售

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

触发器感知的训练目标（Trigger-Aware Objective） 研究人员在混合数据集上微调模型，每个样本是「提示—响应」对。

7、综艺欠薪2800万背后，市场步入寒冬？

再说「手」。

AI的下一个「CUDA时刻」 到这里，我们其实只谈了记忆的第一副面孔：对内的压缩与重建。

8、美记者多次挑衅提问被俄外长回怼：你再说一遍?

AI裁判的推理原文：明知正确标签，却因顾虑「这个标签会被拿去训练模型」而拒绝如实标注。

（孵化营官网地址https://competition.ai4s.com.cn/race/19/introduction） 通过链接顶尖科学家、头部产业方、一线投资机构，并配套最高200万元项目专项资金支持，孵化营将推动优秀成果完成技术熟化、工程验证、场景导入与资本承接，加快形成可持续的创业团队和可规模化的产业能力。

让它出一节课，出来的不是一份漂亮但悬空的PPT，而是一份已经对齐到你所在州课标、按学习顺序搭好台阶的教案。

9、姆巴佩22球封王，法国4比6出局：纪录再高也填不满遗憾

AI竞赛下半场的主题之一，是让AI拥有身体，进入物理世界。

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

10、怪事！离开国家队一年在CBA失业，转会NBL，球迷：史上最水国手

这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

三类资本同时出现在投资方名单里，说明市场已经公认：这家公司，是AI视频与未来交互赛道的一张重要船票。

1、维京游轮发布业内首个中文服务北欧海轮航线，将于2027年启航

它把自然语言指令，和材料的CIF、化学的SMILES、蛋白质序列、光谱数据、科学图像等多种科学模态，组织进同一套任务表征里。

2、中国基模的压哨入局者，先一步布局智能体时代

GPU利用率不到50%，等于一半的电白烧；说不清Token换来了什么，等于钱花得不明不白。

3、世界杯的氛围魔力：即将奔赴美加墨的中国球迷

大概就是「你隐约觉得这版有点不对劲，但说不清哪不对」。山东男篮回主场再战上海，这样打有望争胜因此，这项工作的目标并不是构建一个自动审稿系统，而是解决同行评审中另一个长期存在的问题——如何让文字评语和最终评分保持一致。

4、佟丽娅带儿子逛动物园！43岁打扮如少女，儿子朵朵被指“迷你版陈思诚”

GPT-5.5被部署成一个创始人笔记本上的智能体。

5、哈登谈詹姆斯选择：他足够聪明 不认为任何人的游说能动摇他

今天的第三条，WAM-TTT补上了最后、也是最关键的一块拼图：发布后训练范式WAM-TTT，打通规模化应用闭环。

6、今年亚冠好看了！国安最多可派出“9外援”阵容：拒绝再次垫底

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

」 早在2014年谷歌收购DeepMind时，双方的协议明确规定AI决不能用于军事和武器。

7、培养 2000 个破亿的中国品牌，亚马逊加码供给侧

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

它拥有的两种「记忆」，都不是我们真正说的那种记忆。

8、众筹近400万美金，这家明星AI体育硬件公司做了款多合一教练机器人 ｜产品观察

Claude Code是拿你整段会话的上下文来拼这个页面的：你的代码库、你连着的工具、这次对话本身，全是现成的原料。

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

随着投稿量激增，审稿人的主观打分标准越来越不统一，评审随机性、不公平性逐年加剧。

无论是机械臂、机器人，还是智能汽车，本质上都是一个个「边缘计算节点」。