经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

1、九游体育 其中一个名为「The Last Ones」的测试场景包含 32 个攻击步骤、4 个子网、约 20 台主机，AISI 估算人类专家完成全部步骤需要约 20 小时。

历史次元壁被打破的那一瞬间，很多「亲历现场」的观众，开始落泪了。九游体育在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

2、中乙综述丨第3轮

为此，无问芯穹推出了 “AI生产力商店”——Agentic Infra行业解决方案，以底层智能基础设施之力，助力行业客户打通降本增效的“最后一公里”。

3、湘潭市多部门联合端掉非法提炼油脂黑窝点收缴废弃油脂2000公斤

但下一张寄到CFO桌上的AI账单，不该再是一笔糊涂账。

4、夏天衣服不用买贵的，白色T恤才是百搭王者，简约清爽又减龄

简单讲，同样一堆芯片，别人只能榨出五成，它想让你榨到极限。

5、英冠惊天丑闻！南安普顿偷拍门实锤冲超名额取消！20岁实习生背锅

依托自研KairosRT高性能计算引擎，在保住模型高智能上限的同时，跑通端侧实时推理。

比如每30分钟查一遍错误日志，把严重级别的挑出来用大白话汇报；或者每小时扫一遍收件箱，摘要新邮件、把该回的草稿先拟好。

Anthropic在这份报告所做的，是趁智能体还没被交出更多权力，先把这些藏在暗处的失败模式挖出来，变成可以测量、可以防范的靶子。

6、一论文抄袭被倒查22年！杂志社公开声明！

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

全行业都在往推理芯片上疯狂押注：SambaNova、d-Matrix这样的初创公司在做，OpenAI、微软也在做，亚马逊有Trainium和Inferentia，微软有Maia。

7、深度伪造，怎么破？

为此，他们又提出自适应的分级噪声控制，在细节吃紧的地方多注入噪声、逼模型多花力气去抠，把丢掉的控制力补了回来。

开发者的切换成本低到近乎为零——换个工具，配置几分钟的事。

8、京沪大战延期！国安“上海一日游”，球队马上回京，补赛日期未定

因此，佟博士一直强调预期结果与实际结果之间的差异： 当然，在真实企业系统中，R 往往不是一个单一数字，而是一个多维价值函数： 一次智能体执行是否成功，不应只看它有没有完成流程，而应看它是否： 提高了收入； 降低了成本； 缩短了处理时间； 提升了客户满意度； 降低了风险； 改善了质量； 或者积累了未来可以复用的认知资产。

对于这项工作而言，LLM的角色并不是替代审稿人完成评审，而是在现有评审流程之外，为文字评语与最终评分之间增加一层校准机制，希望借此减少评分尺度不一致带来的随机性，为同行评审提供更加稳定的参考依据。

Figure 把端到端模型做分层，Skild AI 用一个通用模型控制所有机器人，大量创业公司把 VLA 当大脑——回答的都是同一个问题：如何造出更强的技能。

9、连夜驰援！“最暖糖厂”又干了件暖心事

顺着线头查下去，破绽越来越多。

Grok的毛病不止于此。

10、莫雷托丨阿莫林推迟批准埃斯图皮尼安转会维拉

过去是你写一句、AI答一句、你再写下一句；现在是你搭一个会自己找活、自己干活、自己交活的小系统，然后转身走开。

她在社交媒体上，高调记录了自己皈依伊斯兰教的过程。

1、智元创新已启动赴港上市流程

脑洞很上头，制作表却很劝退。

2、穆帅即将再获悍将！国米7000万欧中卫巴斯托尼，几天后或加盟皇马

GCP + TPU + 协议标准，底层建护城河。

3、提前预定最佳球！卡布拉尔世界波助球队扳平，麦卡利斯特成背景板

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。别再被椰子水骗了！日常健身没必要喝，平时替代水又胖人！第四步，是病毒式营销。

4、召回多名技术型球员，国足6月集训强化进攻！带武磊只为凑够百场

他点名了当时最新的那批模型：GPT-5.5、Claude 4.6、Gemini 3.0、Grok 4.3。

5、三狮军团的隐痛：赖斯的硬撑与无解的疲惫

第三层，L3深度扫描，也即跨文件深度审查。

6、伊姐周六热推：电视剧《雨霖铃》；电视剧《黑夜告白》......

截至成绩揭晓，尚无官方公开的结果。

只是能看到实时数据，那还只是个会自动刷新的看板。

因此，现场机器人拼到第五千块的时候，还记得第四千九百块放在哪儿、下一步该怎么接。

7、5.11葡超推荐：本菲卡vs布拉加

Hassabis更直接：这太尴尬了。

但如果你问一圈做AI的人，2026年最让他们睡不着觉的事情是什么，答案出奇一致—— 不是模型不够强，是算力不够用了。

8、崔丽丽开直播获网友支持，满屏都是正能量

技术再漂亮，不赚钱就是玩具。

这四步在一个界面里完成，不需要在不同软件之间来回copy-paste，不用反复切换上下文。

而它背后的「罪魁祸首」，就是Agent。

在实际导航任务中，快慢双系统异步协同，让机器人在仅有低精度SD地图时，既能准确抵达指定坐标目标，又能沿人行道、斑马线安全通行，而不是像纯度量式策略那样为了到点而抄近道横穿车道、踩踏绿化带。