这大概率，就是还没官宣的Claude Opus 5。

1、博亚体育 值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

新加坡国立大学、北京大学、清华大学、上海交通大学等研究机构首次系统研究了扩散语言模型（Diffusion Language Models, DLM）的后门安全问题，提出统一框架 BadDLM：通过构造诱导前向掩码过程，定向强化目标相关位置的学习，从而注入多样化、生成式的后门目标。博亚体育这类模型可以沿正确路线前进，却未必知道自己何时已经走偏，更不知道应该如何重新回到路线。

2、环法幕后：8人薪资抵30人全队，面对波加查的碾压，他们还在战斗

不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

3、赫恩：约书亚从未退赛，我们怀疑富里能否如期对决

物理动作冗余严重：即便任务最终成功，轨迹里也可能包含大量纠错、回退和重复动作。

4、今日重要赛事！7月18日，CCTV5、CCTV5+直播节目表

结果30分钟，AI正确识别出一个阿尔茨海默病风险等位基因，以及若干影响药物代谢的基因变异。

5、王哲林无语了！怀特塞德面临顶格处罚，球迷要求收回上海总冠军

第四种，主动循环（proactive）。

一个赌对了「规模定律」（Scaling Law）的人，偏偏在教育上看走了眼。

对此，已经有网友给编成了顺口溜：「一天一重置，限额远离我。

6、世界杯猛将盼圆梦！曼联锁定英超爆点！球员本人铁心加盟

每个文件压在一页内，内容太多反而吃掉上下文窗口。

GitHub仓库已经开放，技术报告中全部的复现数据与测试流程均可溯源。

7、迎战维罗纳，尤文期待三分，伊尔迪兹有望首发，维罗纳为尊严而战

从这个意义上说，纳德拉和Karp的最新叙事确实印证了佟博士的基本判断。

更离谱的是，上千个权重分片文件，在字节大小上竟然是完全一模一样的！ 所谓1.6T模型，实际上是拿Qwen2.5-7B-Instruct 的权重，像俄罗斯方块一样复制粘贴，然后用看起来像随机数的权重暴力填充，最终硬生生「吹」成了一个3TB的巨无霸。

8、45分10助攻！克拉克一战刷爆WNBA历史纪录，狂热官方反应亮了

结论并不乐观：整体攻击成功率最高可达70%，其中恶意插件在未加固的智能体上百发百中，即便换上最安全的大模型也难以阻挡。

另外，在控制总数据量恒定的消融实验中，银河通用给出了一个让所有从业者振奋的结论—— 在相同的预算下，「100条机器人轨迹 + 100条廉价的人类视频」实现了74.1%的成功率，这与纯用「200条极其昂贵的机器人轨迹数据」（73.7%）性能完全持平！ 这意味着，人类视频可以1:1等效替代昂贵的机器人遥操数据。

其中，他详细拟定了审查机制，明确规定了AI不能用于无人类控制的致命武器和无差别监控。

9、转子绝唱：4.7万英里2009款马自达RX-8 R3无底价拍卖

第三步，交付：AI完成修改，输出可以直接交给老板的成品。

彭博社的一则独家报道如同一盆冰水，浇灭了所有人的热情：Gemini 3.5 Pro发布延期了，而且不是延期几天，是数月的大延期！ 本该是载入史册的发布，被谷歌自己按下了暂停。

10、瓦西姆·贾弗：KL·拉胡尔天赋与科利持平，却因心态差距成就远不如预期

无历史帧输入的pi0.5，算力固定在5.0 TFLOPS，但代价是放弃了历史记忆，模型「忘记过去，只管当下」。

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

1、卡塞米罗签约迈阿密国际 MLS对卫冕冠军展开违规招募调查

好消息，Gemini 3.6 Flash比GeminI 3.1 Pro、Gemini 3.1 Pro强，主打「性价比」。

2、雷霆再遭挖角！投篮大师恩格尔兰转投火箭

这已经不算聊天增强了，是让AI直接上手操作你的系统。

3、高考后安全温馨提示

「我想验证一个猜想——在这个行业里，只要你的论文写得像真的、参数标得足够大、Benchmark跑分足够高、网站做得足够专业，再加上几个有影响力的人转发，整个AI圈究竟需要多久，才会有人愿意真正去审视和检查模型本身？」 答案是，你想一夜爆火，根本不需要一个真正世界第一的模型，只需要一个看起来像世界第一的网页。罗马诺：若不能加盟欧洲精英球队，拉什福德将留队；记者：蒂莱曼斯结束假期后将可参加曼联的季前训练太令人唏嘘了。

4、立新能源，7连板，累涨94.74%

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。

5、意大利自曝先找安切洛蒂再谈瓜帅 世界杯三连败出局后主帅难产

不得不说，这份「执念」本身就够让人后背发凉。

6、又来抢戏？特朗普将出席世界杯决赛并颁奖，世俱杯时曾站C位不肯走

搜到了，点一下直达目标内容，不用再一屏一屏往回划。

不是野蛮，只是——那就是他们的生活。

用软件的人和做软件的人，那条线开始模糊了。

7、伊布：身为梅西球迷很骄傲，但本届世界杯仿佛专为阿根廷铺冠军之路

当企业部署了多个Agent，月底一看账单几十万，却根本不知道是哪个Agent花掉的。

大多数私募基金的投资年限是「3+2」模式（三年投资，两年退出），如今已经到了GPLP们迫切需要变现的节点。

8、AMD率先发布2纳米芯片，挑战英伟达机架霸权

一个真正的企业级 Skill，不只是提示词模板，而应当包括： 适用场景； 输入条件； 所需知识； 权限边界； 执行步骤； 工具调用； 决策规则； 预期结果； 成本和时间估计； 风险与约束； 结果验证； 反馈和更新方式。

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

是什么吸引了他们？ 他们在看到，是一张图，一张定义了 「Token前店后厂」 的全链路基础设施蓝图。

由于从零训练一个高质量 DLM 成本高昂，使用者通常会下载第三方开源的模型、微调后部署，这正是后门攻击（Backdoor Attack）存在的场景。