OpenAI 秘密新模型斩获 IMO 2025 金牌，攻克奥数顶峰

OpenAI 的秘密通用推理模型，竟然攻克 IMO 2025 的 5 道困难，成功摘金了？这个消息，让 Greg Brockman 等一众大年夜 佬冲动转发。也就是说，OpenAI 很可能已经研发出推翻 性的推理技术，彻底告别 CoT。还有一个炸裂消息：GPT-5 也要来了。

克日，全天下的顶尖大年夜 模型还在 2025 年的 IMO 赛场上全军尽没，连铜牌的边都没摸到。

然而，OpenAI 投下了一枚重磅炸弹——他们用一款全新的「通用推理模型」，成功夺下了 IMO 2025 的金牌！

6 道题，解出 5 道，狂揽 35 分！

这道公认的困难，人类参赛者也只有 6 人可以做出，o3、o4-mini、Gemini 2.5 Pro、Grok-4、DeepSeek-R1 六个大年夜 模型也全员零分，即使 是 OpenAI 的这个超强模型，也同样折戟了。

更令人震惊的是，OpenAI 公布，这个发明 了历史的模型，并非传闻中的 GPT-5，而是一个全新的、实验性的模型！（泉源：新智元）

回应撤离中国市场缘故原由，Manus 首度披露技术侧履历辅导

Manus 近期撤出中国市场、清空国内社交账号内容，尽力转战海外市场，官方表明缘故原由重要基于经营服从的调整及国际化布局。

7 月 19 日，Manus 联合首创人季逸超发布了一篇长博客，从技术层面深度复盘从创业以来在 Agent（智能体）研发与练习方面的履历辅导。季逸超表现，Manus 团队之以是选择「套壳」而非自研大年夜 模型，正是基于前一次创业的凄惨辅导，决定 基于开源或贸易大年夜 模型做「上下文工程」，构建智能体。然而，这个进程 并不简朴，团队经历了 4 次智能体框架调整才实现局部最优解。

经由进程 回溯已往几个月的创业历程，季逸超为智能体赛道创业者总结了一系列的履历。他指出，AI 智能体的未来在于上下文计划，而非单纯比拼模型能力。

值得留意的是，季逸超的长文重如果 技术层面的复盘与探讨，但并未对市场关注的裁人、迁址新加坡、撤离中国市场等话题进行直接回应。（泉源：证券时报）

科技巨子 态度迥异：微软偏向 于签订欧盟 AI 准则，Meta 直言无法担当

7 月 19 日消息，欧牛耳席表现，欧盟可能会签订一项志愿行为准则，旨在资助企业服从客岁已经见效的《人工智能法案》，但这一准则却引发 了美国科技龙头的分歧。

微软总裁布拉德・史女士 （Brad Smith）周五向路透社表现，公司很可能会签订该准则，以支持 欧盟的人工智能监禁 机构，并夸大与工业界的直接打仗。

然而，Meta 则推辞 签订该指导方针。Meta 首席环球变乱官乔尔・卡普兰（Joel Kaplan）表现，该准则给模型开发者带来了法律不肯定 性，其措施也逾越 了《人工智能法案》的范围 。（泉源：IT 之家）

消息称小米玄戒 O2 及 5G 基带推动 中，全终端覆盖实现 O2 芯片初次上车

7 月 19 日消息，博主 @ 聪明皮卡丘 发文，暗示小米正加大年夜 投入研发玄戒 O2 芯片及 5G 基带，实现「全终端覆盖」，联合此前爆料，全终端覆盖其中最紧张的一环就是「人车家」中的汽车，即玄戒 O2 将初次搭载到小米汽车中。

国家 知识产权局商标局中国商标网表现，小米科技有限任务 公司于 6 月 5 日申请注册「XRING O2」商标，当前处于「期待实质检察」阶段。（泉源：IT 之家）

Perplexity 正与智妙手 机制造商洽商预装 Comet 浏览器

据报道，Perplexity AI 首席实行官阿拉温德·斯里尼瓦斯 (Aravind Srinivas) 正在与智妙手 机制造商洽商，盼望在他们的装备上预装 Comet 浏览器。

斯里尼瓦斯盼望经由进程 此举利用浏览器粘性，即用户偏向 于利用预装浏览器的概念。有助于该公司经由进程 应用 Google 所依赖的雷同技术来获得 吸引力。

Comet 现在处于测试阶段，并且仅在桌面端供给 ，但它已将 Perplexity AI 无缝融入到网页浏览体验中。它允许用户经由进程 提问乃至发出命令 来与小我 数据进行交互。（泉源：cnBeta）

特朗普签订稳定币法案，加密货币行业取得重大年夜 胜利

美国总统特朗普签订首部有关稳定币监禁 的联邦法案，称其为「巩固美国在环球金融与加密技术范畴主导地位的紧张一步」。对于数字资产行业，这也是一场重大年夜 胜利。

「《GENIUS 法案》建立了一套清晰而轻便的监禁 框架，将释放美元稳定币所蕴含的巨大年夜 潜力，」特朗普周五在白宫签订典礼 上表现。「这大概将成为自互联网身世 以来，金融技术范畴最巨大年夜 的革命。」（泉源：举世市场播报）

抱负汽车现金贮备 达 1107 亿元，自建高速超充站数目居车企首位

7 月 20 日消息，抱负汽车 CEO 李想昨日发文走漏 ，制止今年一季度末，抱负汽车现金贮备 达到 1107 亿元。

他走漏 ，抱负的「九纵九横高速超充收集 」，均匀 152 公里就有一座抱负超充站。抱负汽车现在是车企中自建高速超充站数目的第一名，还将连续建站。

他还表现，连续健康的企业财务状态，是抱负能成为「基建狂魔」的需要 因素 之一。利用抱负 5C 超充桩为抱负 i8 充电，10 分钟 500 公里。（泉源：IT 之家）

高德地图开放平台「天下地图办事 」全新上线：覆盖 200+ 国家 和地域，海内外 无缝切换

高德地图克日公布，高德地图开放平台天下地图办事 全新上线，200+ 国家 和地域全覆盖。海内外 无缝切换，全面 满足出境导航、来华指引、企业出海等跨境场景需求，适配多说话 。

据介绍，该地图数据覆盖环球 200 + 国家 和地域，供给 环球地图、搜索、定位和导航办事 。GPS 定位 + 北斗 + 基站 + WiFi 的混淆定位，为用户供给 精肯定 位办事 。覆盖海外凌驾 1.2 亿的 POI 数据，供给 环球 200 + 个国家 / 地域坐标和结构化地址相互转换办事 ，支持 56 种说话 。（泉源：IT 之家）

V 社回应「Steam 静静下架大年夜 批极度成人游戏」，系支付渠道 / 卡构造请求

7 月 19 日消息，Steam 平台克日在未有明白关照书记 的情况下，在平台大年夜 范围 下架了数百款极度成人题材游戏，引升引 户争议。

现在 V 社已对外媒 GamingOnLinux 进行回应，表现相应情况系支付渠道 / 卡构造请求 ：

我们克日接到关照，Steam 平台上的部分游戏可能违反了我们的支付办事 商及其所关联的银行卡收集 与银行所制定的规矩 和尺度。是以 ，我们决定 将这些游戏下架，制止在 Steam 市肆中销售。

此举是出于对平台整体支付功效 的保护 ，一旦平台支付方式被限定，可能会影响全部用户购买 其他游戏及内容的能力。

我们已直接关照这些游戏的开发者，并为其供给 应用 发布额度（App Credit）。如果他们未来盼望在 Steam 上发布其他游戏，可继续利用这一额度进行分发。（泉源：IT 之家）

全新小鹏 P7 紫色款实车曝光，今年三季度发布

7 月 19 日消息，博主 @SugarDesign 今天 在社交平台分享全新小鹏 P7 紫色款实车照片，此前该车的表面已经公布，将于三季度发布。

小鹏全新 P7 定位科技时尚奢华 轿跑，号称「经历五年的打磨，我们继续以「原创」交出答卷」。何小鹏表现：「全新的小鹏 P7 可能是我们有史以来情绪投入最大年夜 的一个项目，我们的中外计划团队用不凡 的想象力，原创的时尚美学计划说话 ，打破死板 类似 的计划思维，引领新的潮水。」

申报信息表现，该车长 5017mm，宽 1970mm，高 1427mm，轴距 3008mm，采取承载式车身。

新车供给 两种差别动力，单电机车型最大年夜 功率 270kW，双电机车型两台电机最大年夜 功率分离 为 167kW 和 270kW，电池来自亿纬锂能或中创新航。（泉源：IT 之家）

停产 13 年后「更生 」：乐凯 C200 彩色胶卷发售，每卷 52 元

7 月 19 日消息，据新华社今天 报道，7 月 17 日上午 10 点，停产 13 年的乐凯彩色胶卷在第 26 届上海国际摄影东西和数码影像展览会 上正式发售，承载几代国人影象的经典产品将重返市场。其测试装日前已在河北保定的乐凯胶片股份有限公司生产车间复产下线。

据乐凯胶片股份有限公司副总经理陈焱介绍，乐凯胶片与有关高校经由进程 18 个月的联合技术攻关，让新的乐凯 C200 彩色胶卷不光实现化学品材料国产化，更在纳米涂层、环保显影等关键技术机能 上取得突破。

据悉，此次发售的乐凯 C200 彩色胶卷连续了经典红盒白标计划，每卷 36 张，展会现场售价为 52 元 / 卷，两卷 99 元，定位经济实惠的入门级产品。（泉源：IT 之家）

达美航空履行 AI 定价战略，目标为每个乘客量身定制「最愿意掏钱」的票价

据《财产》杂志 16 日报道，达美航空正在推动 一项由 AI 驱动的动态票价战略，目标是为每位乘客量身定制其「最愿意掏钱」的机票代价。

继客岁的小范围 测试效果取得成功后，该公司现在筹划全面 代替传统固定票价模式。

豪恩斯坦将这套 AI 票价体系称作「对全部 定价机制的重构」，而其部署也将是一个跨年度、分阶段的进程 。不过 他也承认，如果缺乏足够的管控，AI 定价机制可能带来严重风险。

达美的这套体系由旅游科技公司 Fetcherr 供给 ，其相当于一个全天候的「超等剖析 师」，可以实时为每位用户、每个航班、每个时段制定专属票价。

究竟上，航空公司因预订时光 、购票平台、乃至用户利用的浏览器等因素 向差别乘客收取差别票价的做法已经行之有年。

达美也早已如此操作，而 AI 技术则将大年夜 幅提升这一战略的精准度和效益。

不过 ，达美曾因代价差别化战略引发 争议。现在外界尚不清晰 AI 怎样剖析 乘客资料并决定 票价，但隐私团体 已对此表现担心。（泉源：IT 之家）