参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

1、bobapp 这就是金山办公反复强调的「可验证的任务执行」。

总结与展望 研究人员提出BadDLM，首个面向扩散语言模型的统一后门框架。bobapp研究指出Scaling Law在空间逻辑任务中效果有限，强调AI for Science需转向Action Scaling，提升模型在真实科研操作中的能力。

2、海外爆单、组团出圈，新广货如何接住全球需求？

中文 ——严谨+0.05σ，标志性行为第二条是「驳斥你的错误前提」。

3、曼联或搁置英超引援，改签潜力股！没被安德森M费拒绝是战略放弃

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

4、全球最大国防部！埃及“八角大楼”正式揭幕

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

5、刻在石头上的中国史

接入Learning Commons后，Claude按所在州课标和学习顺序，自动搭出一节课的教案与学生材料。

更有趣的是，宇树G1和智元远征A3轮番上阵。

AI 上班的门槛在于一整套「岗位说明书」，Skill Market 就是钛动给行业写的那一套。

6、曼联4100万签蒂莱曼斯周二体检！曝其周薪20万，闪电转会内幕揭晓

标准化测试里的题目，模型多半在训练数据里见过千百遍；真正见功夫的，是那些它从没遇到、也无处抄答案的新问题。

我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

7、计划离队：勒沃库森欲与边锋球员分道扬镳——哪些人会受影响？

彭博社记者 Mark Gurman 判断这是一次意外推送：苹果不会毫无宣传动作地发布国行 AI，不会选在中国凌晨上线，视觉识别调用的是谷歌引擎而不是国产引擎，在中国也不合理。

最厉害的是，它居然反手把自家的「大哥」给踩在了脚下。

8、曝演员野村周平新恋情，对象是年下7岁女模特石田梦实

如今Bun的CLI月下载量，已强势突破1000万大关，甚至成为了CC底层的重度依赖。

模型转头就把这事办了。

这可能比传统意义上的模型准确率或单次任务效率，更能够衡量企业 AI 转型的长期价值。

9、真心建议：不要把快递带回家里拆

但今年，这道门槛被打穿了。

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

10、奥亚萨瓦尔2射1传是为首功之臣 这位中生代球员才是西班牙的宝贝

而找到文献，不等于造出证明。

最难的不是让模型变聪明，而是让聪明变得便宜、高效、可靠。

1、中甲冲超球队离奇换帅！是冲超止损自救，还是默契刹车避升级？

到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

2、报告征集

决定谁能真正赚钱的是海量调用之下，每个Token的成本能压到多低。

3、TVB高层生日派对引出失窃风波，被指是离巢男星，群星见证查监控

李述昊把钛极和通用模型的关系类比为开发者和操作系统：「基模越好，我们越好。CBA3消息！赵柏清签约日本联赛，南京同曦顶薪锁定郭昊文，吉林战胜辽宁！依照这些基准被认定拥有「前沿模型」的组织，将被视为「前沿实验室」（Frontier Labs），并被鼓励采纳一系列最佳实践，例如：发布载有技术细节的模型卡（model card）、维持强有力的内部网络安全、对关键岗位人员做背景审查、为安全与安保研究投入充足资源，等等。

4、男单32强出炉：国乒占4席+希望之星顺利过关！日本队5人晋级

支撑「用得起」的，是一个此芯自己敢喊的数字：国产唯一实现单Token能耗降低50%以上的SoC+NPU一体化方案。

5、多燕瘦为何非“智商税”？专利菌株、临床数据与权威认证的实证链

15种组合跑下来，整体攻击成功率从最低约20%到最高近70%，相差约三倍。

6、每体：英阿半决赛对决，绿洲乐队成为意外纽带

首先是计价刻度的转向。

李述昊的判断走得很远：全球最终会有 1000 亿个智能体，普通人每人 10 个。

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

7、永泰能源：主业运营正常未出现亏损，2026年上半年业绩将于8月29日披露

我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

8、泰山队多面手复出合练，阵容直到17日才能齐整，依木兰在U23闪光

四种循环，说穿了是四种「什么时候该停」的答案：人来判、评估器来判、时间来判、事件来判。

相比之下，GPT的画面就显得有些「用力过猛」了。

真实机器人部署：模拟中的效率收益可以迁移到物理世界 论文进一步在配有两台Intel RealSense D435i相机的Agilex Piper机械臂上验证真实机器人任务，包括FlipMug、HangMug、TapeBox三类任务。

极反应。