AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

1、Kai云体育 今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

作者介绍 该工作来自浙江大学与NVIDIA的合作研究。Kai云体育在考验用户偏好记忆的题目上，HMS达到96.7%，大幅领先Hindsight的86.7%、OpenAI收购的Mastra的53.3%。

2、阿森纳官方：萨利巴背伤无需手术，将进入长期康复期

AI Coding就是现成的样本。

3、劳塔罗绝杀！阿根廷逆转！梅西助攻梅开二度！

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

4、阿隆索：F1赛车若给不了肾上腺素，我将重新考虑未来

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

5、应美国执法部门请求，中国警方向美方遣返一名美籍逃犯，涉嫌性侵幼女、枪杀妻子等严重暴力犯罪_网易订阅

现在大家盯着同一个会自己更新的页面，进度就是页面本身，不用再开会同步「我们现在到哪了」。

按OpenAI给出的口径，在长周期工程任务基准DeepSWE v1.1上，开到最高推理档的GPT-5.6 Sol拿到72.7%，压过Claude Fable 5的69.9%；而估算API成本，比对方低36.2%。

「不再写提示词了」——最近，这句话正在AI圈疯传。

6、三人进球破纪录却颗粒无收 谁来拿2026金球奖？

这一方案的优势在于：它以技术为本，同时又支持创新、激励负责任的行为。

应该聚焦在数据、场景这些需要深入耕耘的领域。

7、中央网信办、应急管理部部署开展汛期灾害事故违法不良信息集中清理整治：聚焦移花接木、旧闻翻炒、编造险情等

闭源模型的安全护栏也没能拉开差距。

在Artificial Analysis的榜单中，PixVerse V6模型位列全球第二，生成速度位居全球第一。

8、喜讯！李国旭在本轮足协杯郑重承诺！直言将在河南客场踢好比赛

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

从OpenVLA、OpenVLA-OFT到π0.5、GR00T，这类模型正在成为具身智能的重要技术路线。

现在扫码 · GDPS赞助商征集 科技让生活更美好，展现双基友好真技术 【GDPS赞助商·扫码报名】 长按识别小程序码 · 展现行业一流技术实力 ·赞助商征集窗口限时开放 赞助商征集咨询 沈老师：13301882228 GDPS大赛全流程 · 7月征集已启动 GDPS全力打造循环演进、迭代升级的产业飞轮：2026年7月WAIC场景征集→10月GDPS上海总决赛→12月出征中东迪拜人工智能展→2027年4月联袂上海国际汽车工业展览会机器人专区完成闭环进阶。

9、阿森纳官宣4000万欧签下希腊边锋齐托利斯 签约5年披枪手战袍

大脑用两套互补的记忆在工作：以海马体为核心的快系统，能把一次性的具体经历迅速抓住，这就是情景记忆；以大脑皮层为核心的慢系统，把成千上万次经历里反复出现的规律慢慢沉淀成概念与常识，这就是语义记忆。

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

10、枫叶队长或成扩军牺牲品？内部名单曝光：里利被放弃保护

更魔幻的是另一幕。

两条曲线撞在一起，一个被集体忽略的问题浮现——智能体，到底该跑在什么芯片上？ 答案有多炸裂？发布会现场，一台办公桌大小的机器被抬上台——AGX Station。

1、中超最新无罚分版积分榜：申花落后成都蓉城2分，3队同积7分垫底

面板顶上那个小小的预览窗里，土星在缓缓自转，环跟着一起转，前后遮挡关系分毫不乱。

2、7000万镑报价！阿森纳求购纽卡队长吉马良斯，球员已告知俱乐部想离队

一台名叫W1的机器人，在仅75厘米的极限过道里穿行，识别货位、逐件拣选、装箱、交付，一气呵成。

3、阿斯顿·马丁七次破产，再借7.35亿美元，中国吉利或接手

三层全部嵌在同一个写码会话里。魔笛的“告别战”，C罗的“处子球”在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

4、首次！马宁将执裁世界杯淘汰赛

结果不是黑盒，而是透明可查的。

5、法布雷加斯力挺梅西：若带阿根廷卫冕世界杯，金靴、金球、最佳球员都该属于他！

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

6、3100万镑加盟仅一年，曼城门神或转投利兹联

用户无需在应用间切换，即可在 Apple 设备上直接体验千问的文本与图像理解、内容生成等能力。

真正的门槛就在这儿。

从智驾战场带回来的执念 这种死磕全栈的起点，要追溯到自动驾驶时代。

7、萨利巴受伤枪手后防告急 球迷支招：免签斯通斯不比内部挖潜香？

用触发器指示器区分含触发器的中毒样本与干净样本。

第一步，生成：人给出少量信息，AI生成初稿。

8、SVG刷爆椭圆纪录：49圈领跑碾压此前12圈，无线电问车队“现在该做什么”

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

比如，Anthropic推出AI科研工作台Claude Science，将科研拆成可逐步审计的流水线，实现综述写作、基因分析等特定环节效率提升10倍；Google DeepMind的GNoME用图神经网络预测无机晶体稳定性、以「生成候选→DFT 验证→数据回流」的闭环产出约 220 万个结构。

完整模型的纠正成功率高达98.15%；去除恢复数据后，这一指标骤降至15.46%，导航成功率也由59.00%下降至29.71%。

编辑：大卫 所罗门新智元报道 2026年WAIC的展厅里，人潮涌动。