即使是 Claude 等强通用模型，在「绕原子旋转」等任务上也表现较差。

1、KOK官方 中国市场 iPhone 销量连续承压，库克此前在财报电话会上承认，Apple 智能的缺席是竞争力下滑的原因之一。

大学那套考评，考试、论文、作业，几百年来立在一个隐形前提上：这些事太花时间，没人会走捷径。KOK官方灵犀要做的，就是把这个「软件侧的记忆」做到极致。

2、噩耗！《哥斯拉大战金刚》聋哑小女孩演员车祸去世，年仅19岁

代码提交前的最后一道关，就是「提交前要不要先扫一下？」 此时，扫描引擎会从局部的「一隅之地」跳出来，构建整套项目的全局依赖关系图，进行深度语义分析。

3、见证糖尿病治疗演进！这名“全勤生”将携“全球首发在中国”创新成果赴约第九届进博会

用时3.8小时，成本更是压到了极低的20美元。

4、洪涝灾害后如何保护健康（名医讲堂）

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

5、信泰人寿被冻结股权超13亿，经营报告何时见“阳光”？

最关键的是，Sol只卖对手一半的钱，很多活儿达到同样效果、烧的token还砍掉一半，两头一乘，四分之一的价格就能交付。

最终拿下最高分的，是磐石。

当一个中国公司把前沿能力推向全球时，AI竞赛的逻辑已从「零和博弈」转向「正和共生」。

6、定了！杨瀚森，时隔486天！

1亿小时：一个「ChatGPT时刻」的门槛 「语言模型头部团队已经到了100万亿Tokens，对应约100亿小时的语料。

结果，AI省下的那点时间，最后全砸在检查和返工上。

7、詹姆斯乐福！！要同队了？！

https://www.makeuseof.com/claude-cowork-automated-away-job/ 这个故事发生在「Record a Skill」上线之前，用的还是手写 Skill 的方式。

过去看的是「一度电产出多少FLOPS」，量的是硬件性能；今天，基本单位从FLOPS换成了Token，而且尺子被一路拉到了价值的尽头—— WATT → FLOPS → TOKENS → AGENTS → VALUES 旧尺子只量到「每一瓦电产出多少算力」；新尺子要量到最后： 你投进去的每一度电，究竟有多少变成了被Agent真正用起来、并兑现成价值的有效Token。

8、西班牙刺倒法国：兵不血刃，叶不沾身

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。

她还补了一句自己的心愿，想带一支真正在乎手艺、品质和「做出好工具」的团队。

9、郭士强宣布承担责任！队员我选的，训练我带的，怎么承担？

Gemini两个都没选。

模型一代代变得更便宜、更迅猛。

10、绍兴人来说说，5块钱早餐能买啥？我茶叶蛋+生煎包但不够饱…

时间跨度只有一个周末。

最值钱的东西，就是智能体替你干上几个小时活、产生的真实使用数据。

1、今夜，利好！22倍大牛股，最新公告！暴增超802%

所有信号，都指向一个清晰的结论：一个属于轴向磁通电机的时代，正在拉开帷幕。

2、美媒发布全球空军排名：俄罗斯第3，印度第6，中国排名太意外！

在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。

3、特朗普感谢伊朗：伊已允许一名美国公民离开该国

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。美国用心险恶至极！轰炸中伊铁路桥，这是通向中俄的战略通道值得玩味的是时机。

4、突然！直线跳水，跌停！A股大牛股，刚公布业绩

跨架构结果显示，重新预训练后的OpenVLA-OFT采用完整两阶段流程可达到2.97倍加速；OpenVLA仅使用第二阶段也能达到1.41倍加速。

5、成都韦世豪 申花朱辰杰 算是今年中超本土球员发挥最好

用单点参数的领先去击穿物理世界的复杂性，本身就存在风险。

6、WAIC看了一圈，这家公司的机器人在认真打工

第一，聚焦智能体专用CPU。

Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

但换来的，全都是「已读不回」。

7、韩企一季度对美投资达102亿美元，同比翻倍创五年新高，AI红利关税双驱布局

时代变局已至 该重构的其实是你 如今，人和AI结对干活的方式，正从「手把手教编程」的保姆模式，滑向「发号施令」的指挥官模式。

同一份文本、同一个正确答案，只是换了标签的下游用途，它的判断就翻了面。

8、有钱也引不来人、只出不进：山东泰山陷入难以破局的恶性循环

张益唐，因在孪生素数猜想上的突破性贡献而名震全球，但在此之前的几十年里，他的经历堪称学术界悲剧。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

而这些动作，大半都发生在7月这半个月里。

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。