WAIC 2026（世界人工智能大会）于 7 月 17 日在上海开幕，国内外 1100 余家企业参展，带来超 3000 项展品。

1、星空官方 」小象电动相关人士表示。

不是固定的语音指令识别，而是真正理解你在说什么、你想干什么。星空官方也就是说，那个从不涨价的「价格屠夫」，第一次给自己的算力装上了计价器。

2、广厦，差一口气，就是差一辈子

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

3、方博受挫，国乒12人出战资格赛10人出局，乒乓球已不是往日的模样

东方长卷 · 盛唐长安西市 这张图的细节堪称恐怖。

4、浙江广厦破釜沉舟胜上海，胡金秋化身得分机器，塔克贡献全能数据

在Claude Code里，你可以把一个跨越多天的项目整个丢给它，它自己分阶段规划、自己派子智能体、一直干到达标为止。

5、每天 “摇胯” 100 次，骨盆正了，假胯收进去了，双腿又细又直

总之，这个反例精简、优雅到了可怕的地步。

这一变化要求本体设计原则做出相应调整——本体应当收敛其职责，专注于清晰定义领域中的对象、关系、行为与规则，即为模型提供推理所依赖的「语义骨架」；而具体的推理过程——规则的选取、组合与应用——则交还给语言模型自身的泛化能力。

但学校仍在用前AGI时代的标准，去量一批已经在AI里长大的新人，现实却是第一代ChatGPT原住民，已经念到毕业了。

6、“集成灶之父”12.9亿卖掉浙江美大

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

」（Math is solved.） 不久后，GPT-5.6 迅速对这一结果进行了分析，并提出了一套全新的、修正后的猜想：「一个常数雅可比多项式的局部双全纯映射，如果在无穷远处没有叶数损失，那么它就是一个自同构。

7、缺啥来啥！火箭队聘请新助教，主抓投篮技能，堪称今夏最佳引援？

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

这个差别，就是128万播放和128万情感共鸣之间的距离。

8、破局低空“区域割裂”难题 壹飞出行政企合资模式打通全国空域网络

但方向很清晰——未来每个打工人，都应该有一个真正懂自己的AI助理。

Kairos 3.1：三种智能，原生统一 Kairos 3.1，走的是第四条路。

复盘阶段，他们又派出LLM分析智能体，把17000多条攻击事件全量啃了一遍—— 还原时间线、提取失陷指标、剥离诱饵动作。

9、造梦的Dior高定，还是那么高级好看！

真实机器人部署：模拟中的效率收益可以迁移到物理世界 论文进一步在配有两台Intel RealSense D435i相机的Agilex Piper机械臂上验证真实机器人任务，包括FlipMug、HangMug、TapeBox三类任务。

面对争议，他只说了一句：「这些在人们看到电影之前发生的讨论，永远无关紧要——因为吵的人都还不知道这部电影到底是什么。

10、镜报：阿森纳准备7000万镑报价纽卡队长吉马良斯

名字里那个「全息」指的是什么，此刻你已经知道了。

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。

1、一年前的今天，NBA停摆，做出这个决定，远没想象的那么简单

特纳讽刺道，「有人说他们是在积攒政治资本。

2、兹维列夫进决赛：网球版虚竹大战鸠摩智！紫薇夺冠？难！太难！

翻译过来就是，连造它的人，都没打算让它变成这样。

3、德明利六日五跌停 相关人士详解市场关切

换句话说：谁的卡好用就插谁的，什么模型合适就跑什么模型。上赛倒计时！这里可以偶遇F1车手乔治·拉塞尔检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

4、莫拉托格鲁力挺中生代三杰：紫薇法网夺冠证明他们“还没死”！

时间上下文也不再使用固定窗口。

5、50多斤的马犬被洪水冲走十余天后自行回家，只剩20斤 主人：喂养几天现在眼睛有神了

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

6、刚刚，2026湘超常规赛赛程公布！

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

轮毂电机要塞进汽车轮毂——一个天生的「盘式」扁平空间。

当他再次走进谷歌办公楼这个「科技圣殿」时，他感觉自己像是一个回到了旧高中的毕业生——曾经这里装满了梦想， 但现在，他非常清楚地知道，自己已经不属于这里了。

7、我国首批9000吨级气膜粮仓正式装粮压仓

点了拒绝也不要紧，刷新页面还会再问。

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

8、自宣加盟！辽宁队签约新援，场均17+9，补足短板，乌戈冲击季后赛

不是「有点紧张」那种不够用，是「送上门的钱都不赚了」那种不够用。

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

由中科大苏州高等研究院、新南威尔士大学等机构联合在ICML2026发布的AtomWorld，借助一系列真实原子操作任务得出结论：在文本理解、知识归纳等场景表现稳定有效的Scaling Law，落地到受物理规则约束的原子实操任务时，往往达不到预期效果。

借助PixVerse的多模态模型与实时互动技术，三位创作者一边用AI加快画面生产，一边坚持人工完成剧本、台词和审美把关，甚至重新手绘部分关键帧。