有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

1、九游体育 第一层是自动跑在后台的，后两层会在合适的时机问你要不要扫一下，你点了「确认」它才动手，完全不影响你思路。

他说自己是那种「靠写作来思考」的人，写下大量从不给任何人看的文字，只为把一个问题想清楚，很庆幸当年学过写作。九游体育然而，接下来的操作堪称魔幻。

2、山姆·尼尔去世，侏罗纪的世界再无格兰特博士

但那种能力，就在这个早上「彻底消失了」。

3、体检问题无缘国米，哈利利：我很健康，这两年我踢了99场比赛

他把 AI 时代的人才标准概括为一句话： Do the job, not the task. 能定义工作、拆解任务、配置智能体去执行的人会越来越值钱； 只做具体操作的任务，智能体已经可以接管。

4、葡萄队更衣室曝光：C罗痛哭，乔治娜不断进行安慰

AtomWorld 对照测试显示，外挂工具仅能提升原子插入等强坐标计算类任务效果，面对需要判别原子关系、空间区域的复杂场景，提升十分有限。

5、雷霆会在执行选项后送走侧翼大闸，湖人和篮网都是潜在的下家？

一个87年的猜想，就这样被AI「随手」破解了。

果然，在首轮代码生成中，Agent对表名和array_keys($data)提取出的字段名时直接采用了「野蛮拼接」。

J-Space研究的根本取向是内在主义的——它将可解释性的核心问题设定为「理解模型内部发生了什么」，试图像神经科学家用fMRI扫描人脑一样，用J-lens扫描语言模型的神经活动。

6、WTT中国大满贯国庆开赛，国乒将派最佳阵容参赛

64个智能体中，有一部分专门扮演「杠精」。

而WAIC现场那座积木长城，是这条路径最直观的一次公开亮相。

7、湖人记者：不会轻易交易布朗尼，球队“非常乐意”留下他

模型知道应该写文件，也声称自己写了，但在工具调用层面没有动手。

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

8、笑喷!阿根廷捡到皮克福德点球纸条,梅西恩佐笑出声庆幸没拖到点球

在这份离线排行榜上，GPT-5.6的一众变体（连视觉版都算上）集体冲到136分，把身后所有对手甩开了一大截。

他们不从「已知的攻击场景」出发，而是从计算机系统几十年沉淀下来的安全准则出发，为这类智能体设计了406道对抗性任务，并在3个真实平台、5个前沿大模型上完成了测试。

终止。

9、监管再提级！工信部赴埃安、小鹏开展监督检查 新能源汽车安全治理扩至全产业链

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。

以高性能同轴式系列为例，产品最轻约 31 g，堵转推拉力可达 250 N，重复定位精度为 ±0.02 mm，额定负载速度不低于 20 mm/s；带力传感版本支持 ±200 N 力控范围和 1 N 力控精度。

10、东体：申花这两天没给阿苏埃安排技战术训练，让他安心恢复

WAM-TTT用最干净、最直接的像素流，实现了真正的零标注成本。

Grok Build是SpaceXAI旗下的AI编程agent，今年5月刚上线。

1、政策赋能、业态焕新，澳大利亚持续提升商务会奖目的地竞争力

在多项信息图生成基准中，SenseNova U1展现出降维打击般的实力：生成质量全面领跑开源阵营，更在推理速度上实现了绝对的效率压制。

2、老鹰83-76力克篮网，钱尼-约翰逊20+10+5断，沃尔夫20+5

这背后欠下的，是一代人的「认知账」。

3、41岁生日快乐！勒布朗-詹姆斯仍未被时光老人打倒

但目前，主要还是通过Kimi AI平台提供API访问，完整权重发布仍待官方进一步确认。举杯欢聚！7月3日，与青岛崂山啤酒男篮共赏世预赛一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

4、朱芳雨+杜锋双双离开，周鹏回广东当主帅？深夜发《归途》引猜想

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

5、十年磨一剑，奥胖包揽大满贯女单、女双、混双冠军

也就是把可执行动作的数据生成、动作基元拆解、模拟器反馈、物理约束验证和工具调用纠错系统性地规模化，让模型不仅在语言上变强，也在可验证的科研行动中变强。

6、CBA官方FMVP榜：古德温29.03领跑接近获奖 李弘权压张镇麟第二

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

展览海报 · 山河入画 换到平面设计，这张图的高级感，是那种可以直接挂在顶级美术馆门口的水平。

现在不一样。

7、胡金秋基本确定离开广厦，下家北京上海二选一，上海男篮报价最高

Grok 4.5在P6上只挤出7053个token，全场垫底。

一是，把科学数据「统一编码」。

8、沃尔沃中国公开赛场外体验：高尔夫正在打入普通人的心灵

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

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

这证明了，AI已具备真正的数学创造力，而非表面模仿。