今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

1、kaiyun官网 当时，五角大楼正在向各大AI巨头施压，要求他们签订一份允许「任何合法政府用途」的军事AI合同。

老师把一件重复活交出去一次，之后每个上学日，它都能替你跑一遍。kaiyun官网TokenBox™用液冷把主流负载下的噪音低至35分贝，图书馆级的安静，单机就能跑「满血版DeepSeek V4」这样1.6T参数的旗舰大模型。

2、王楚钦将缺席WTT欧洲大满贯赛瑞典站

机器速度对机器速度，人类只负责按开始键。

3、美加墨世界杯最新战力榜：阿根廷第2日本被低估，英格兰不输法国

Claude Fable 5：直接生造了一个每步必定缩水的计数器。

4、五一集结首钢园｜首钢杯青少年公开赛双赛同启 开始招募！_网易订阅

2.8万亿参数，100万token超长上下文，原生支持视觉与多模态理解，都还只是开胃菜。

5、捅刀子！17国代表安卡拉宣言：解散北约，建立中俄土伊四国联盟？

四者彼此咬合，才能构成一个「越跑越强」的体系——而这，恰恰是单点突破玩家很难复制的。

但传统导航数据通常以专家正确轨迹为主，模型学习的是「理想情况下应该怎么走」，却很少真正经历偏航与恢复过程。

这三个问题揪出来之后，系统还顺手给了修复方案。

6、山西输球不冤！原帅5中0，潘江换人断送赢球希望，外援摊手不理解

自研的此芯P1，就是这块地基石。

「发电站（后厂）+ 电网（店）+ 智能电器商城与配电房（点）」 ，这个清晰的「Token前店后厂」模式，不仅是清程极智在WAIC 2026上的技术标签，更是其作为中国AI Agent产业公共底层支撑平台的宏伟蓝图。

7、FIFA最新排名公布：西班牙超阿根廷登顶，国足仍排名第91位

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

这已经比早期「购买大模型、部署Copilot、提高员工效率」的叙事向前走了一大步。

8、孙杨发言过程中自行换翻译 仲裁小组满脸黑线拒绝

灵犀的做法是：大家围着同一个助理干活。

现在扫码 · GDPS场景征集 有场景痛点？交给GDPS，全球赛队免费来答 提交场景痛点 → 联合设计赛题 → 9—10月实景硬测 【GDPS场景 · 扫码报名】 长按识别小程序码 · 提交场景痛点 · 7月场景征集窗口限时开放 场景征集咨询 周老师：17721330272 为什么场景方要进GDPS？ 市场越卷，越不能只把具身智能当做行业新概念、技术背景板。

Hassabis更直接：这太尴尬了。

9、非足联官方：下届非洲杯仍维持24队赛制不变，不会扩军到28队

目前已在漕河泾园区做安防巡检、上海滨江做城市治理、天津海棠花节做文旅导览，7×24小时常态化在岗。

这些信息单独看可能只是一次提示词、一次模型调用或一次用户纠正，但积累起来，它们构成的并不是普通数据，而是一张企业的认知地图。

10、1966年，刘澜波推荐李鹏接管北京供电局，周总理大惊：他太年轻了

全文由GPT-5.6 Sol Ultra生成，最后在Codex的辅助下完成了排版。

然而，命运开了一个残酷的玩笑。

1、陈妍希姐姐到场追星张凌赫，称“得了一种见了张凌赫就会好的病”

另一个企业则把每次调用转化为： 新的案例； 新的Skill； 新的规则； 新的评价标准； 新的任务模板； 新的行业本体； 新的风险控制机制； 新的组织经验。

2、腾讯云ADP 4.0海外版发布，要把企业级智能体带到全球市场

对于每个人来说，AI时代最值钱的资产，不是模型，而是你自己攒下的这一大堆与AI互动的数据。

3、11 款全新 Mac 准备，苹果全面更新 Mac 产品线

为什么今年重点布局「新能源汽车轮毂电机」？ 如果说具身智能是这家公司亮相的第一舞台，那么新能源汽车，就是他们今年重点布局的星辰大海。随着一场74-76！验出中国女篮“最大水货”，宫鲁鸣或弃用！「大脑系统＋软硬一体＋开放底座」这一组合，是逐际动力推动人形机器人在物理世界持续运行的底气。

4、绿军今夏续约第三笔！3年1500万美元锁定22岁防守工兵，含球队选项

对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

5、王虹、邓煜获奖，中国数学终于等来菲尔兹奖时刻

立川裕二的评价是：它似乎真的理解弦论（String Theory），而且有直觉。

6、冠军的后空翻和亚军的眼泪 马德里的两种结局

过去大量被检测漏掉、直接混入仓库的风险，现在在编码阶段就能被拦截。

先别急着惊叹90分钟——你得知道，这道题在统计学里压了整整二十年。

点「进入世界」，鼠标被锁进画面。

7、目录｜2026年6月刊：汤尤杯的笑与泪，藏着国羽最动人的故事

如果说大模型竞争的上半场，拼的是答得像不像人。

响应卡顿、排队等待，个别长文本请求甚至会霸占通道，把其他短请求活活拖慢。

8、世界杯半决赛：阿根廷vs英格兰、法国vs西班牙，世界前四顶峰相见

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

让ABot每一个能力的提升都能在本体上有完整呈现。

所有人都体验过，你传一个1 GB的文件，传到92%，网断了。

论文指出，目前同行评审实际上包含两个过程：一是审稿人阅读论文并形成定性判断；二是将这些判断压缩为一个最终分数。