比如，让它审计一个代码库的安全漏洞。

1、乐竟体育 在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。

历史上这样的时刻并不陌生：1980年代真正的赢家不是某一台PC，而是让所有PC通用的操作系统；1990年代不是某一个浏览器，而是让所有机器互联的TCP/IP；2010年代不是某一块芯片，而是让所有算力能被调用的CUDA。乐竟体育他们不从「已知的攻击场景」出发，而是从计算机系统几十年沉淀下来的安全准则出发，为这类智能体设计了406道对抗性任务，并在3个真实平台、5个前沿大模型上完成了测试。

2、六名中国选手全部摘金，中国队团体总分第一！

他在文中写道，人类「基本上找到了让沙子思考的办法」，我们正站在「奇点的山脚下」，AGI「大概只有几年之遥」。

3、安东尼奥：抽签结果形势很严峻，尽全力备战争取再次取得佳绩

这种感觉则像「换了个人在跟我说话」。

4、又多一张底牌？时隔7年，特朗普终于醒悟，中美或迎来新一轮合作

硅基智能的破晓 回到这起事件的余波中。

5、经过两年历练，谢智杰迎来兑现天赋的关键窗口期

三年三级跳 硅基大脑的恐怖进化 2024年，DeepMind的AlphaProof首次在IMO级别摸到银牌门槛。

以 Qwen 系列为例，从 4B 到 32B，原子更换、移除、移动等任务的成功率明显提高，说明规模增长仍然有价值。

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

6、四川发布超120亿元国资国企应用场景需求清单

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

观众走到屏幕前，用自然语言跟机器人「聊天」——你可以随口说「把积木按顺序排好」，它听得懂、想得明白、做得到。

7、宏远速递！徐杰回应加盟其他球队，周鹏发声有望回归，王洪泽又夺冠

如果让这股惯性再拖三年半，一代人慢慢丢掉独立思考的训练场，等回过神来才发现：已经不太会自己想事情了。

轴向磁通电机，到底厉害在哪？ 传统电机是「径向磁通」的，磁场方向从中心向外辐射，像个圆柱体。

8、北京追成1-1！杨鸣戳穿上海4个弱点，弗格两场10中1，陈盈骏26分

Boris早就验证过这一点。

合并之前，Bun现有的全部测试用例，在CI里100%通过。

这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。

9、山西男篮锁定新外援，百万年薪报价27岁锋卫摇摆人，NBA场均5分1.7篮板

对应北京时间为2026年7月12日晚上11:09。

真正改变的 并非循环本身 当然，也不能把「设计循环」说成一场从0到1的革命。

10、即将官宣？詹姆斯回归热火或已无悬念，联手字母哥冲击第五冠

但这不只是视觉层面的问题，功能上也是。

这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。

1、最佳冬季跑鞋：应对严寒、冰雪与泥泞

ChatGPT Work发布后没几天，OpenAI临时取消了Plus、Pro、Business的5小时使用限制，还一轮接一轮重置用户额度：先给约50万用户，再铺到700万用户，人人补一次。

2、丹特：合作两天从孔帕尼身上学到很多，想形成自己的执教风格

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

3、全新一代宝马3系7月首发：无排气管设计 柴油版成悬念

他一直认可众多硅谷公司吸引AI人才的理念—— 对于顶尖AI人才来说，钱不是唯一的驱动力，他们想站在赢的那一边。袁励岑王艺迪晋级混双决赛，王楚钦孙颖莎止步四强这意味着，今天在四足狗上验证的经验，明天可以直接迁移到双足人形上，而不需要推倒重来。

4、杨毅揭露男篮选人潜规则！高诗岩就是代表，听话比实力更重要？

新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

5、曹艳林：开源大模型是中国送给世界的“基建礼包”

今年5月，奥特曼回到母校斯坦福，站上CS153的讲台，认错了： 这是我的一个预测错误。

6、39岁梅西泪洒决赛：两代球王卫冕梦碎，阿根廷到底输在哪

丢给它一个开放问题，它会输出一段流畅、得体、八成正确的回答。

这是「降维打击」。

这4年，你跟它聊过多少句话、传过多少张图、开过多少个项目，大概连自己也数不清。

7、休城生涯第7季！火箭官宣续约泰特：杜兰特领军15+2阵容冲冠

供应商可以改变。

邵天兰说过一句很实在的话：问题不在硬件。

8、绝了！雄鹿官宣4年6400万签下，联盟马上宣布调查！

他补了一句：至少对我来说，这挺意外的。

但它们表现出来的能力却是相似的：都看得清环境，都理解任务，都能规划动作、精准执行。

外加：八档时间速度、两种轨道比例、虚拟相机跟随、700颗固定种子星星、小行星带、柯伊伯带、响应式布局、九个快捷键。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。