「我上船的时候就知道，今晚这艘船会沉。

1、星空体彩 OpenAI官网回应页：公开反对《纽约时报》调取2000万条用户对话记录的诉求。

真正的科学研究从来不是纯文本工作，而是由提出假设、设计实验、调用工具、调整参数、观察结果、排查错误和持续修正等一系列行动构成。星空体彩某个API调了多少次，扣了多少钱，账单上写得清清楚楚。

2、费尔明伤愈归来，有望随巴萨赴英格兰参加季前训练

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

3、营销案例｜打造2025“省超”营销“组合拳”，嘉士伯破解赛事流量转化密码

由此，NavBrain形成一条更加完整的闭环： 理解方向—生成目标—执行轨迹—判断偏差—主动修正。

4、人活多久，看下半身就知道？寿命长的人，下半身一般有这6个特征

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。

5、医生病故、病历缺失、三次鉴定被退回，患者维权如何判？

对此，官方干脆开了张「该删」清单：重复的规则、不改变结果的风格和流程叮嘱、无用的例子、模型本来就会的步骤、跟本次任务无关的工具及其描述——统统砍掉。

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

这次伏笔被兑现了，机会留给了早有准备的人。

6、仅用2年！登贝莱反超姆巴佩！今年或卫冕金球，上演足坛最强反转

其实，这个想法早有前身。

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

7、C罗哭了！3脚射门0进球+无缘带队进8强，对手一次换人定2队命运

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

真正形成产品壁垒的，不是单一模块参数，而是各层能力能否协同为稳定、可复现、可集成的任务能力。

8、一向儒雅的于根伟，为何会在本轮中超直接破防，被主裁直接罚下

当芯片、网络和业务流量被端到端打通之后，优化的触角自然会伸到一个过去大家不太关注的地方——电。

Tibo：没有降智 我们在查用量 当晚，Tibo（Thibault Sottiaux）就出来说话了，他在OpenAI负责Codex与ChatGPT Work。

你直接交代一句「帮我看看昨天哪些训练任务失败了」，它便会顺着日志、监控、任务事件一路查下去，并且独立解决80%的日常问题。

9、UBS称美光能回购近半数股票，分析师：别急着动心

AGX Station能不能真正在企业场景里跑起来、Agentic OS能不能经受住真实业务的考验、开放生态能不能从签约走向深度协同——这些问题，都需要时间来验证。

但这天早上，这只「怪物」的表现忽然垮了下来，只剩8分。

10、7.17瑞典超推荐：哥德堡vs布洛马波卡纳

此次，他们正式发布了AGX Agentic Compute 智能体计算战略——一把打通芯片、整机和操作系统，构建覆盖端、边、云的全域算力底座。

这两件听上去朴素的事，恰恰是今天最强的AI所没有的。

1、上海申花VS津门虎：本土双铁腰坐镇，特谢拉领衔前场，拉唐冲锋

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。

2、消费基金调仓分歧浮现！重仓股回归白酒躲过回撤，加仓新易盛近一月大跌超15%

真正让全网炸裂的，是后半句。

3、中方准时行动，王毅抵菲先见一人，不到24小时，菲军一把手换人了

不到两年的「三连跳」 开创技术路线，完成产业闭环 把时间轴拉长，我们会发现WAM-TTT的发布绝非偶然。农业农村部：推动《加快农业农村现代化“十五五”规划》落地资金规模必须可观，且很可能主要来自产业界，如此才能吸引世界级的技术人才，并为大规模测试提供必需的算力资源。

4、定了！大明星空降，助阵无锡！

AI洪流之下，科学将以无法预测的方式爆发。

5、方盒子插混SUV上市焕新价14.99万，配三电机四驱，综合续航1400Km

原因之二，可能是数据成分不一样。

6、82：0通过！日本议会罕见联手：阻止高市早苗改动无核三原则

机器人身上的算力和电量十分有限。

难的是现场随时在变。

当得知合同签署的那一刻，他感到大脑一片空白。

7、两盘直落开门红！郑钦文250赛首轮淘汰6号种子马内罗

表1 15种「平台×模型」组合在四个维度及总体上的攻击成功率（Atk%）与安全得分（Sc.）。

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

8、不用跑，更不用踢，“亚马爹”竟成本届世界杯最大的人生赢家？！

今天，Anthropic被迫低头了，这场好戏，才刚刚开始。

做加法，比一上来堆满再删容易。

作为国际知名的机器人与生物医学工程学者、加拿大工程院院士、IEEE Fellow，孙东局长深耕机器人自动化领域三十年。

所以，模型能力只是入场券，FERPA合规、数据隔离、教师工会背书，才是能不能真正落地的门槛。