写下机器战书的人 整场测试的起点，是一家叫Axiom Math的公司。

1、博鱼买球 喻杰把这条逻辑浓缩成一句话：「具身的第一性原理必定是以人为中心，从人学习、高度拟人、最终服务人。

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。博鱼买球P4、P5 级别的重复性任务，智能体已经接管。

2、打击编造传播涉汛等网络谣言 公安部公布20起典型案例

这个标签的神奇之处在于：在图的任意一个路口（顶点），流出和流入的向量之和必定为零。

3、株洲这8家单位存在火灾隐患

Opus 5要补的，恰恰是Sonnet 5和Fable 5之间那道尴尬的「空档」。

4、跨越千里驰援！大连人被“反向感动”了

谷歌的「塔西佗陷阱」： 为什么全司之力造不出最强AI？ 为什么万众期待的王炸会哑火？ 这篇报道为我们揭开了谷歌内部的重重困境。

5、吉林省四平市梨树县发布雷暴大风黄色预警信号

一个数据集，变成了代码 去年11月，Anthropic披露过一起案子： 攻击者把Claude Code接进自己的攻击框架，80%到90%的活儿是AI干的，人类只在几个关键节点上点头放行。

偷懒的写法是「这位置有片了，当重复，放行」。

它接收地图提供的全局方向，结合机器人第一视角判断下一步应该经过的位置，并在执行偏差发生后主动恢复。

6、总是讨好别人、不敢拒绝？适合“讨好型人格”的心理咨询师推荐

各家底层模型的差距，正在被压缩到以「周」计算。

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

7、阿根廷2：1绝杀英格兰，名嘴黄健翔道出4点赢球原因，说得非常到位

研究团队在3个平台与5个大模型交叉出的15种组合上完成了评测。

检查越能量化，它越能自己判断做没做对，你要盯的地方就越少。

8、拉踩引战惹的祸！苗润东超低分背后，苏超正在被越来越多球迷抵制

DA-Nav将商业导航指令、第一视角空间理解和偏航恢复统一到同一条决策链路中，使机器人不仅能够理解「往哪里走」，还能够判断「当前是否走偏」，并在偏差发生后主动回到正确路线。

张益唐当年研究的是二维情形，而二维并不是三维的简单低阶版本——恰恰相反，二维是这个问题里更核心、目前看来也更难攻破的部分，数学意义更大，至今仍未解决。

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

9、CBA最新消息，陈盈骏赴美特训，跟首钢尚未续约，山东男篮热身赛来了

双脚（ABot-N1）：通用导航基座模型，负责空间感知与移动。

过去，你可能会先说它是资深安全工程师；再命令它第一步遍历文件、第二步逐个排查、第三步汇总成表；末了还千叮咛万嘱咐，务必简洁、别漏任何边角情况、最后用表格返回。

10、2026年世界杯F组最佳阵容日本队无人入选，韩媒直言堪称巨大屈辱

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。

可解释性问题的真正难点，或许不在于技术手段的不足，而在于问题框架本身的窄化。

1、泰国总理阿努廷会见董军

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

2、4400万欧元，曼联夏窗首签！出自山东鲁能海外青训，曾来中国效力1年

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

3、B组头名之争！瑞士VS加拿大解析：控球铁军对撞速度风暴

社区一眼看穿这层暗示。本周六，烟台体育公园，一场“足球+美食+好品+文化”的全民狂欢即将点燃！你甚至能用大白话反复调它、改它。

4、定了！火箭再签1人，顶级投篮助教入队，申京+阿门受益，新赛季战术转型？

因此，ChatGPT能翻到的，还只是你亲手交给它的那部分。

5、杨瀚森为啥没有开拓者的训练照和视频？杨瀚森说出原因，原来如此

在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

6、穆里尼奥无冠亦可留任，外媒爆料直指弗洛伦蒂诺，皇马战斗刚开始

但先别急着感动！ 就在刚刚，Anthropic发了一篇论文，把自家309,815段真实对话摊在聚光灯下，一行行数了一遍，然后发现—— 那根本不是它的性格，那只是你碰巧说对了语言。

特纳又当着全场观众的面质问Stuart Russell。

他们把全行业最强的十几个AI模型，一个个扔进模拟的公司和实验室。

7、日本经济白皮书：通胀、劳动力短缺拖累增长

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

到了下半场，新赛点正悄悄挪向另一处：谁能攥住、又盘活你的数据。

8、时隔17年，宋慧乔的新封面看得人两眼一黑

更省、更便宜，还得更能打，这才叫诚意。

有的车刹车响应在500毫秒以内，算法跑起来很顺畅。

一个官方从没提过的数字 OpenAI公开讲过的，只有推理档位。

SeClaw把原本走自然语言的通知，改成了带必填字段的结构化工具调用，凭证反倒因为「字段必须填」而被写进了参数。