AI 模型的奥数金牌之路：通用推理能力的新突破
OpenAI 的一款神秘通用推理模型在国际数学奥林匹克 (IMO) 2025 中大放异彩，成功解出了 6 道难题中的 5 道，一举夺得金牌。这一消息引起了包括 Greg Brockman 在内的众多大佬的激动转发，预示着 OpenAI 在颠覆性推理技术方面取得了重大进展，可能彻底告别了以往依赖的思维链 (CoT) 模式。与此同时，关于 GPT-5 即将问世的消息也甚嚣尘上，进一步引发了人们对 AI 技术发展的高度期待。
在这次 IMO 竞赛中，全球顶尖的大模型几乎全军覆没，甚至连铜牌都未能染指。然而，OpenAI 却投下了一枚重磅炸弹，他们利用一款全新的“通用推理模型”成功摘得了 IMO 2025 的金牌，展现了强大的解题能力。
这道被公认为极具难度的题目，即使是人类参赛者也仅有 6 人能够解答。而包括 o3、o4-mini、Gemini 2.5 Pro、Grok-4、DeepSeek-R1 在内的六个顶级大模型均未能得分。值得注意的是，OpenAI 官方表示，这个创造历史的模型并非传闻中的 GPT-5，而是一个全新的实验性模型，这无疑给未来的 AI 发展带来了更多想象空间。
Manus 技术复盘：撤离中国市场后的反思与启示
近日，Manus 宣布撤出中国市场，并清空了其国内社交账号内容，全面转向海外市场。官方给出的解释是，此举是为了调整经营效率和进行国际化布局。
7 月 19 日，Manus 联合创始人季逸超发布了一篇长篇博客，深入复盘了公司自创立以来在 Agent（智能体）研发与训练方面的经验教训。季逸超表示，Manus 团队之所以选择“套壳”而非自主研发大模型，是基于之前创业失败的惨痛教训，决定基于开源或商业大模型构建“上下文工程”，从而构建智能体。然而，这个过程并非一帆风顺，团队经历了 4 次智能体框架调整才最终实现了局部最优解。
通过回顾过去几个月的创业历程，季逸超为智能体赛道的创业者总结了一系列的宝贵经验。他强调，AI 智能体的未来在于上下文设计，而非单纯地比拼模型能力。
值得注意的是，季逸超的这篇长文主要集中在技术层面的复盘与探讨，并未直接回应市场关注的裁员、迁址新加坡、撤离中国市场等话题，这或许也暗示了公司战略调整的复杂性。
科技巨头在欧盟 AI 准则上的分歧：微软支持，Meta 反对
7 月 19 日，欧盟主席表示，欧盟可能会签署一项自愿行为准则，旨在帮助企业遵守去年已经生效的《人工智能法案》。然而，这一准则却引发了美国科技巨头之间的分歧。
微软总裁布拉德·史密斯 (Brad Smith) 周五向路透社表示，公司很可能会签署该准则，以支持欧盟的人工智能监管机构，并强调与工业界的直接接触。
与微软的态度截然不同，Meta 则明确表示拒绝签署该指导方针。Meta 首席全球事务官乔尔·卡普兰 (Joel Kaplan) 认为，该准则给模型开发者带来了法律上的不确定性，并且其措施也超出了《人工智能法案》的范围。这反映了科技巨头在 AI 监管问题上的不同立场。
小米玄戒 O2 芯片及 5G 基带研发加速：或将首次应用于汽车
7 月 19 日，知名博主 @智慧皮卡丘 发文暗示，小米正在加大投入研发玄戒 O2 芯片及 5G 基带，旨在实现“全终端覆盖”。结合此前相关爆料，全终端覆盖中最重要的一个环节就是“人车家”中的汽车，这意味着玄戒 O2 芯片很可能将首次搭载到小米汽车中。
国家知识产权局商标局中国商标网显示，小米科技有限责任公司于 6 月 5 日申请注册了“XRING O2”商标，目前该商标正处于“等待实质审查”阶段，这进一步印证了小米在芯片领域的积极布局。
Perplexity AI 积极拓展市场：洽谈智能手机预装 Comet 浏览器
据相关报道，Perplexity AI 首席执行官阿拉温德·斯里尼瓦斯 (Aravind Srinivas) 正在与多家智能手机制造商进行洽谈，希望能在他们的设备上预装 Comet 浏览器。
斯里尼瓦斯希望通过此举来利用浏览器粘性，即用户通常倾向于使用预装浏览器的习惯。他认为，这将有助于 Perplexity AI 通过应用 Google 所依赖的相同技术来获得市场吸引力。
Comet 浏览器目前仍处于测试阶段，仅在桌面端提供。但它已经将 Perplexity AI 无缝融入到网页浏览体验中，允许用户通过提问甚至发出命令来与个人数据进行交互。
特朗普签署稳定币法案：加密货币行业迎来重要时刻
美国总统特朗普签署了首部有关稳定币监管的联邦法案，并称其为“巩固美国在全球金融与加密技术领域主导地位的重要一步”。对于整个数字资产行业而言，这无疑是一场意义重大的胜利。
特朗普在白宫签署仪式上表示：“《GENIUS 法案》建立了一套清晰而简洁的监管框架，将释放美元稳定币所蕴含的巨大潜力。这也许将成为自互联网诞生以来，金融技术领域最伟大的革命。”
理想汽车现金储备充足：持续投入建设高速超充网络
7 月 20 日，理想汽车 CEO 李想发文透露，截至今年一季度末，理想汽车的现金储备已达到 1107 亿元人民币。
他还透露，理想汽车正在大力建设“九纵九横高速超充网络”，平均每 152 公里就有一座理想超充站。理想汽车目前在车企中自建高速超充站的数量排名第一，并且还将持续加大投入。
李想强调，持续健康的企业财务状况是理想汽车能够成为“基建狂魔”的必要因素之一。他表示，使用理想 5C 超充桩为理想 i8 充电，仅需 10 分钟即可行驶 500 公里。
高德地图开放平台升级：推出覆盖全球的世界地图服务
高德地图近日宣布，高德地图开放平台的世界地图服务已全新上线，实现了对 200 多个国家和地区的全面覆盖。该服务支持海内外无缝切换，能够全面满足出境导航、来华指引、企业出海等跨境场景需求，并适配多种语言。
据介绍，高德地图的世界地图服务覆盖全球 200 多个国家和地区，提供全球地图、搜索、定位和导航等服务。该服务采用 GPS 定位 + 北斗 + 基站 + WiFi 的混合定位技术，为用户提供精准的定位服务。此外，该服务还覆盖海外超过 1.2 亿的 POI 数据，并提供全球 200 多个国家/地区的坐标和结构化地址互相转换服务，支持 56 种语言。
V 社回应 Steam 下架成人游戏：系支付渠道要求
7 月 19 日，针对 Steam 平台近日在未发布明确公告的情况下，大规模下架数百款极端成人题材游戏一事，V 社 (Valve) 对外媒 GamingOnLinux 作出了回应。V 社表示，此次下架是应支付渠道/卡组织的要求。
V 社在声明中称：“我们近日接到通知，Steam 平台上的部分游戏可能违反了我们的支付服务商及其所关联的银行卡网络与银行所制定的规则和标准。因此，我们决定将这些游戏下架，停止在 Steam 商店中销售。”
V 社强调，此举是为了保护平台整体支付功能的正常运行。一旦平台支付方式受到限制，可能会影响所有用户购买其他游戏及内容的能力。
V 社还表示，已经直接通知了这些游戏的开发者，并为其提供应用发布额度 (App Credit)。如果这些开发者未来希望在 Steam 上发布其他游戏，可以使用这一额度进行分发。
全新小鹏 P7 紫色款实车曝光：预计今年三季度发布
7 月 19 日，汽车博主 @SugarDesign 在社交平台分享了全新小鹏 P7 紫色款的实车照片。此前，该车的外观已经正式公布，预计将于今年三季度正式发布。
小鹏全新 P7 定位为科技时尚豪华轿跑，官方称其为“经历五年打磨，继续以「原创」交出答卷”的诚意之作。小鹏汽车 CEO 何小鹏表示：“全新的小鹏 P7 可能是我们有史以来情感投入最大的一个项目，我们的中外设计团队用非凡的想象力，原创的时尚美学设计语言，打破枯燥相似的设计思维，引领新的潮流。”
申报信息显示，该车长 5017mm，宽 1970mm，高 1427mm，轴距 3008mm，采用承载式车身。
据悉，新车将提供两种不同的动力版本：单电机车型最大功率为 270kW，双电机车型两台电机的最大功率分别为 167kW 和 270kW。电池方面，新车将采用来自亿纬锂能或中创新航的电池。
停产 13 年后重生的乐凯 C200 彩色胶卷正式发售：售价 52 元
7 月 19 日，据新华社报道，停产 13 年的乐凯彩色胶卷于 7 月 17 日上午 10 点在第 26 届上海国际摄影器材和数码影像展览会上正式发售。这款承载了几代国人记忆的经典产品将重新回归市场。此前，其测试装已在河北保定的乐凯胶片股份有限公司生产车间复产下线。
据乐凯胶片股份有限公司副总经理陈焱介绍，乐凯胶片与有关高校通过 18 个月的联合技术攻关，让新的乐凯 C200 彩色胶卷不仅实现了化学品材料的国产化，更在纳米涂层、环保显影等关键技术性能上取得了突破。
据悉，此次发售的乐凯 C200 彩色胶卷延续了经典的红盒白标设计，每卷 36 张，展会现场售价为 52 元/卷，两卷 99 元，定位为经济实惠的入门级产品。
达美航空推行 AI 定价策略：为每位乘客量身定制票价
据《财富》杂志 7 月 16 日报道，达美航空正在推进一项由 AI 驱动的动态票价策略，其目标是为每位乘客量身定制他们“最愿意掏钱”的机票价格。
在经过小范围测试并取得成功后，达美航空计划全面取代传统的固定票价模式。
达美航空高管豪恩斯坦将这套 AI 票价系统称作“对整个定价机制的重构”，并表示其部署将是一个跨年度、分阶段的过程。不过，他也承认，如果缺乏足够的管控，AI 定价机制可能会带来严重的风险。
达美航空的这套 AI 定价系统由旅游科技公司 Fetcherr 提供，它相当于一个全天候的“超级分析师”，可以实时为每位用户、每个航班、每个时段制定专属票价。
事实上，航空公司因预订时间、购票平台、甚至用户使用的浏览器等因素向不同乘客收取不同票价的做法已经存在多年。达美航空也早已采用类似策略，而 AI 技术的应用将大幅提升这一策略的精准度和效益。
不过，达美航空曾因价格差异化策略引发争议。目前外界尚不清楚 AI 如何分析乘客资料并决定票价，但隐私保护团体已经对此表示担忧。这种个性化定价策略的透明度和公平性仍然有待进一步观察。
