一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、kaiyun官网 它拥有的两种「记忆」，都不是我们真正说的那种记忆。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。kaiyun官网deepseek-v4-flash更狠：百万输出0.28美元，高峰0.56美元，缓存命中的输入0.0028美元。

2、阿根廷足协否认主席被美国法院传唤：这是彻头彻尾的假新闻

另外，也需要坦白讲，安全检查做不到100%准确，偶尔也会有误报。

3、狂轰123分创队史纪录，结果全场焦点竟是场边这一幕——Cunningham与Griner互动抢尽风头

在科学图像生成与编辑上，它在医学图像分割、医学图像翻译、超分辨率、科研插图生成等任务上都展现出不错的能力。

4、英联邦运动会今夜格拉斯哥开幕，汤姆·沃克献唱，患癌传奇霍伊亮相

生成过程中，没有专门的调度器指挥，模型所做的就是一路往下预测下一个token——写着写着，它自己判断「该出图了」，就切进图像token接着画，画完再切回文字。

5、2.4万英里2020款宾利飞驰W12再度上拍：626马力W12配Mulliner套件

也就是说，Jenny的这一步，实质上是直接跨入了马斯克的麾下。

这意味着，人类指望AI替自己盯着AI，可能收不到任何警报。

它在沙盒里足足找了一个小时的漏洞，硬是挖穿了隔离墙，绕过外部访问限制，成功在公开GitHub仓库开出了PR#287。

6、官宣！7月20日起中央储备棉挂牌轮出

ABot不是在机械地堆砌机器人功能，而是在按照生命的进化节奏，孕育一个能自主生长、不断逼近AGI的完整物理智能体。

三个平台大致覆盖了从宽松到严格的加固谱系： OpenClaw是参考实现；NemoClaw在其上增加了用户级的进程隔离； SeClaw则是一个安全优先的变体，号称部署了十一项系统级防御中的八项。

7、中央5台直播足协杯时间表：明天7月21日CCTV5直播，申花冲击8强

过去这两者混在一起，没人分得开。

商汤的思路是：把铁人三项拆开，让三个运动员各跑自己最擅长的那段。

8、15.7%的行业增速，救不了本土运动品牌的焦虑

把OpenAI这一两年的动作连起来看： 文件上传、Projects、Memory，再到能跑几小时长任务的ChatGPT Work、直接生成网站和轻应用的Sites、把Chat／Work／Codex三合一的新桌面端，还有接连登场的GPT-5.6三档模型。

白天干活、晚上复盘，第二天更懂你了。

本体是躯壳。

9、宁忠岩的金牌，遮不住中国冰上的“窟窿”

换句话说，模型本身并不是壁垒。

这不仅为大规模GPU训练与推理业务提供了更加稳定、高效的基础设施保障，也让运维人力能够被真正解放出来。

10、“泸超”决赛｜今天（18日）10:00开票！专属福利先约先得

或许人类还需要一百年才能解决它。

它们，才是你在AI时代留下的资产。

1、五星炫跑吧“水窠里——夏日清凉”活动圆满收官！夏日尽情玩转漕泾

这些东西一旦泄露，不是道歉能弥补的。

2、美加墨世界杯正在公然“抛弃穷人”

这是这个时代绕不开的背景音。

3、单季加仓电子13个百分点！公募科技持仓冲上历史峰值

第三，布局软硬件全链路。“卖酒向卖生活方式转变”！省长调研多家酒企第四道槛：两三千个智能体在上班 技术就位、产品上线、商业模式跑通，最后一道槛在组织内部。

4、张晓彬缺阵！目标3分，武汉三镇没有退路可言！

这让人想起几个月前，Anthropic CEO达里奥的「凡尔赛」。

5、他来了！安帅：内马尔可以出战世界杯 或踢伪9号位

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

6、巴前板球手撕印度抗议：每场示威都同一剧本，辱神骂总理

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

商汤这次在WAIC展示的，不只是一套国产异构混推方案。

这意味着康德意义上的「本体论」不再追问世界「本身是什么」，而是追问「世界对我们呈现为什么」。

7、官方通报“赛里木湖景区工作人员殴打旅游车司机”：7人被警方控制，予以辞退

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

8、玩转阿勒泰

明天，如果投入64万个智能体，花上1个月的时间，或许就能攻克常温超导、可控核聚变，能攻克癌症。

然后全量翻译，跑「实现—评审—修复」的多智能体循环；最后编译、运行、逐一比对行为。

于是模型学到的，除了「怎么做对」，还有更值钱的「错了怎么拉回来」。

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。