7月18日的2026世界人工智能大会「科学智能开放论坛」上，获奖选手与各界嘉宾齐聚一堂，共同见证赛事圆满落幕。

1、bob登陆入口 Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

然而，在经过一系列繁琐且无效的内部沟通后，特纳做出了一个大胆的决定：直接给谷歌DeepMind CEO Demis Hassabis发私信。bob登陆入口最后一个镜头——漆黑的海面上，什么都没有了。

2、德转朱艺：武汉三镇已经撤下喀麦隆后卫亚姆卡姆的报名

每个人对技术路线的判断，几乎都是自己商业站位的投影。

3、ESPN名记曝勇士内部分歧：对签下詹姆斯感到悲观，自认不在首选之列

论文地址：https://arxiv.org/abs/2606.30755 代码地址：https://github.com/sunblaze-ucb/SafeClawArena 项目主页：https://safeclawarena.github.io/ 图 1 Claw 智能体的架构与四类攻击面。

4、骑士4-3淘汰猛龙晋级！阿伦22+19！谁是赢球的功臣？数据不会说谎

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas

5、盘点NBA历史7大白人巨星，司机上榜，约基奇入前3，第1无悬念

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

场景二：用了预编译，字段名仍能注入 在日常开发中，很多程序员都有一个误区：认为只要用了PDO预编译，系统就彻底与SQL注入绝缘了。

标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

6、拿了MVP却被挤到角落，新来的小弟都敢欺负他！NBA最没排面的老大

无问芯穹的Token工厂，则希望用「优化即利润」的增长飞轮，向推理时代交出Token效率的答卷。

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。

7、第二名伤退！单赛季同时夺篮板王+助攻王？NBA前无古人的神迹！

从平台的燃料，交互数据变成个人的资产。

他押注的大概率不是一款叫GPT-6的新模型，而是一次更彻底的形态切换：让AI从「回答问题」，正式变成「替你干活」。

8、记者：76人三巨头都已与詹姆斯联系，马克西是主要推动者

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

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

AI顶会热度持续走高，海量稿件涌入的背后，同行评审体系长期存在的痛点被无限放大。

9、峰回路转！一度被放弃的全美第一，近5战场均21+6，有望成为核心

同一个动作在不同世界、不同经历、不同关系里，可能生长出完全不同的反馈。

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。

10、篮球 乒乓球

小浣熊带动超两千万用户运转，周活三百万，八千家企业客户接入，并已裂变出教育、政数、金融等行业版本。

他直言：现在是人类史上的关键时刻，AGI或将在短短几年内实现！ 哈萨比斯给出了一个令人战栗的算式：AGI的影响规模将是工业革命的10倍，而速度也是10倍。

1、佛罗伦萨加入争夺皇马新星 穆里尼奥已为球员离队开绿灯

现在整个工作流嵌进智能体了，它就是工作台。

2、大手笔引援！曝山东休赛期顶薪追求范子铭，邱彪能否补强内线短板

更有意思的，是把两组数字放在一起看。

3、隔夜西瓜一口8400个细菌？真相是……

说得再直白点，它开始长出自己的「文件系统」。外来和尚难念经！安切洛蒂难破世界杯百年铁律，国足这一次选对了机器人不会因为一次偏移彻底离开路线，而能够在行进过程中不断判断、不断修正。

4、实话实说，我用AI写作文章

换句话说，未来企业竞争的，不再只是模型能力，而是AI运营能力。

5、受台风“红霞”影响 应急管理部对广东、福建启动国家地质灾害四级应急响应

样本量从几千份跳到百万级，推理结果还能反复调优。

6、云南金平：多次拍摄到极危物种缟灵猫清晰影像，刷新该物种最北缘分布纪录

资本端同样用真金白银投票。

而这条线，正是我们刚刚还用来分开机器与少年的那条线。

智元补世界模型补得更狠。

7、年轻人也会中风吗？这些习惯正在透支你的血管......

仅凭观察神经活动来理解模型的话语，就如同仅凭观察一个人的脑电活动来理解他所说的话——我们或许能捕捉到神经关联，却未曾触及话语的意义本身。

恰恰相反，它是效率工具：替我们省掉了海量注定失败的尝试，没有它，没人能在有限的一生里走到学科前沿。

8、椰子看好丰塞卡夺多个大满贯，图萨诺夫称安娃突破难个矮力量弱

企业真正的智能，来自它对自身业务世界的理解，来自专家在长期实践中形成的判断，来自组织在无数成功和失败中积累的经验，也来自企业如何定义价值、衡量结果并不断修正行动。

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

它给她递证据，帮她把一条对外提问「润色得像普通的方法学疑问、别像吹哨」，最终推动她替自己把话捅了出去。

这一幕的分量，不在于机器人抓起了一件商品。