2026年7月24日星期五

早报|Claude Opus 5发布,半价追平Fable 5/小鹏人形机器人开启小批量试产/曝英伟达将上调显卡价格

cover

📱

机构预计首款折叠 iPhone 将占今年折叠机出货约四分之一

🌐

黄仁勋首次发推,与 20 余家机构发文呼吁保护开放模型

🤖

菲尔兹奖得主 Jacob Tsimerman 将加入 OpenAI 安全部门

🧠

Claude Opus 5 发布:性能追平 Fable 5,价格仅需一半

📋

腾讯 WXG 员工因泄露敏感信息被辞退,年末激励约 317 万元

📖

王兴兴与宇树 GD01 登上《时代》封面

🦿

小鹏人形机器人开启小批量试产,量产产线进入最后联调

💰

长鑫与字节签下超 70 亿美元订单

🫪

曝英伟达上调显卡价格

📈

英特尔第二财季营收增长 25%,代工业务收入增至 58 亿美元

🧠

腾讯混元合并大语言与多模态团队,成立基础模型部

📋

Patreon 裁减 20% 员工,CEO 强调重组并非因为 AI 替代人类

💻

AMD Helios AI 服务器全面投产,第三季度末开始出货

🛍

消费品以旧换新带动销售额超 1.25 万亿元

💰

Stripe 洽购 OpenRouter,交易估值可能接近 100 亿美元

💻

AMD 发布锐龙 AI 嵌入式 X100,把 CPU、GPU 与 NPU 集成到单芯片

💻

Geekbench 7 重做 CPU 与 GPU 测试,只在真实应用会并行时调用多核

🧠

微信 AI 问答用 DynamicRubric 让评价器与模型共同进化

💡

马斯克:前沿 AI 实验室应在发布前相互审查模型

📰 周末也值得一看的新闻

机构预计首款折叠 iPhone 将占今年折叠机出货约四分之一

Counterpoint Research 预计,苹果将在 2026 年下半年进入折叠屏手机市场,首款产品采用书本式形态。相关预测认为,这款设备可能在首年拿下全球折叠屏手机约四分之一的出货份额,并推动书本式机型成为市场主流。

Counterpoint 的另一份供应链报告给出约 660 万部出货量、全年约 28% 份额的估算,其中超过六成预计集中在第四季度。不同预测口径略有差异,但都把苹果入场视为折叠屏市场结构变化的主要变量。

黄仁勋首次发推,与 20 余家机构发文呼吁保护开放模型

英伟达创始人兼 CEO 黄仁勋昨日在社交平台 X 发布首条帖文,分享由英伟达、微软、Meta 等 20 多家科技巨头及机构联合签署的公开信《开放权重与美国 AI 领导力》,力挺开源 AI 模型。

公开信指出,开放权重模型能降低初创公司与科研机构的使用门槛、促进市场竞争并赋予企业数据掌控力,同时透明度更有助于检测和修复安全漏洞。

此次联合发声源于月之暗面于 7 月 16 日开源大模型 Kimi K3,其突破性的架构与编程能力引发部分闭源巨头关于知识产权的指责及监管部门的禁令担忧,黄仁勋此举进一步将开源与闭源的路线之争推向焦点。

菲尔兹奖得主 Jacob Tsimerman 将加入 OpenAI 安全部门

38 岁的加拿大数学家 Jacob Tsimerman 在获得 2026 年菲尔兹奖后宣布,自己正在转向 AI 安全研究,并将加入 OpenAI 的安全部门。他还在整理一份面向数学家的转行资源清单,希望吸引更多研究者进入这一领域。

Tsimerman 把数理逻辑中的 o-minimality 工具引入算术几何和复代数几何,与 Benjamin Bakker、Yohan Brunebarbe 合作解决了提出半个多世纪的 Griffiths 猜想。他还参与完成 André-Oort 猜想,并成为多伦多大学数学系最年轻的正教授。

Tsimerman 表示,大模型研究仍主要依赖经验与工程方法,数学理论可以帮助研究者理解、引导和控制这些系统。他已停止招收博士生,原因是不愿让学生为一个可能发生根本变化的数学职业做准备。

Claude Opus 5 发布:性能追平 Fable 5,价格仅需一半

Anthropic 昨日正式发布新一代闭源大模型 Claude Opus 5,并同步上线 AWS。新模型主打高性价比与可调节思考档位(effort),在编程、长文档推理和复杂业务分析等任务上表现突出。

API 定价保持每百万输入 token 5 美元、输出 25 美元,与 Opus 4.8 持平;开启 Fast 模式响应速度提升 2.5 倍,计费翻倍。在 CursorBench 3.2 编程测试中,开启最高思考档位的 Opus 5 成绩与 Fable 5 仅差 0.5%,成本仅其一半。

Opus 5 具备更强的复杂任务自主验证能力。若涉及高风险网络安全请求,系统将自动回退至 Opus 4.8 处理。此外,因上下文理解能力提升,官方表示开发者可大幅精简系统提示词(system prompt)。

腾讯 WXG 员工因泄露敏感信息被辞退,年末激励约 317 万元

据界面新闻报道,腾讯内部通报称,WXG 某项目负责人叶某将公司敏感信息发送给外部人员,相关内容随后泄露至外部平台。公司以其违反「腾讯高压线」中的信息安全规定为由辞退,并将其列入内部黑名单。

报道展示的薪酬截图显示,叶某年末激励合计约 317 万元,其中现金约 82.1 万元、股票约 235.6 万元。界面新闻已就此事向腾讯求证,截至发稿未获回应。

报道援引律师观点称,薪酬政策、绩效方案或激励信息是否构成商业秘密,取决于公司是否明确划定保密范围、采取保密措施并证明其商业价值;企业把人员信息对外列入黑名单,也可能涉及平等就业与名誉权边界。

王兴兴与宇树 GD01 登上《时代》封面

宇树科技创始人兼 CEO 王兴兴与载人机甲产品 GD01 登上 8 月 17 日一期《时代》杂志封面。王兴兴在采访中说,人形机器人的核心瓶颈仍是泛化能力;他预计,机器人要在陌生环境中执行语音指令,还需要 2 至 10 年的技术推进。

王兴兴称,GD01 的构想最初来自让更大机器人参与拳击比赛的想法,后来延展为可让人乘坐的机甲,并参考了电影《阿凡达》中的类似设计。他也提到,宇树当前产品主要卖给高校、研究机构和个人开发者,工业部署比例正随着软件成熟而增加。

小鹏人形机器人开启小批量试产,量产产线进入最后联调

据新浪科技报道,小鹏人形机器人已在广州工厂开启小批量试生产,面向量产的产线进入最后联调。小鹏内部此前举行机器人量产动员会,把 2026 年设为量产节点;公司计划从 2027 年起让机器人陆续进入全球门店和商业场景,承担导购、讲解等服务。

小鹏今年 2 月与广州市天河区签署战略合作框架协议,计划在广棠科创城具身智能产业园建设人形机器人全链条量产基地。园区总建筑面积约 11 万平方米,覆盖研发验证、小批量试产和规模化制造所需的厂房与配套设施。

长鑫与字节签下超 70 亿美元订单

据路透社报道,AI 数据中心扩张推高内存需求后,长鑫存储与长江存储开始在中国市场挑选客户并主导价格。长鑫已成为全球第四大内存芯片制造商;知情人士称,它今年与字节跳动签署了为期五年、价值超过 70 亿美元的供应协议。

长鑫今年第一季度营收为 75 亿美元,同比增长 719%,用半年时间扭转了此前十年的累计亏损,并将于 7 月 27 日在上海启动规模约 86 亿美元的 IPO。公司正在上海、合肥建设两座工厂,另一个新厂仍在洽谈;这些项目完成后,月产能将超过 60 万片晶圆。

美国五角大楼已把长鑫与长江存储列为所谓「中国军工企业」,长江存储也已进入美国实体清单。路透社称,美国政府内部仍在讨论是否进一步限制两家公司取得芯片制造设备;与此同时,中国客户对本土内存的需求仍然超过现有产能。

曝英伟达上调显卡价格

据界面新闻及多家硬件媒体报道,英伟达已向板卡合作伙伴上调包含 GPU 与显存的 GeForce 套件采购价,覆盖采用 GDDR7 显存的 RTX 50 系列,以及仍使用 GDDR6 显存的在售产品线。

报道提到,近期显存成本上涨是本轮调整的直接背景。英伟达同时通知合作伙伴暂缓 RTX 50 SUPER 系列发售,相关报道将高价 GDDR7 显存列为原因;具体涨幅尚未公开。

英特尔第二财季营收增长 25%,代工业务收入增至 58 亿美元

英特尔公布 2026 财年第二财季业绩,营收为 161 亿美元,同比增长 25%,创下公司 15 年来最快的季度增速。受重组和减值等项目影响,按美国通用会计准则计算的净亏损为 110 亿美元、每股亏损为 2.16 美元;剔除一次性项目后,净利润为 22 亿美元、每股收益为 0.42 美元。

服务器芯片需求推动英特尔产品业务回升:数据中心与 AI 业务营收同比增长 59% 至 63 亿美元,客户端计算业务增长 13% 至 89 亿美元,代工部门营收增长 31% 至 58 亿美元。公司预计第三财季营收为 158 亿至 168 亿美元,非通用会计准则每股收益约为 0.38 美元;采用 Intel 18A 工艺的 Xeon 6+ 已进入客户认证,18A-P 则进入风险生产。

腾讯混元合并大语言与多模态团队,成立基础模型部

腾讯混元将大语言模型部门与多模态模型部门合并,成立基础模型部,由腾讯首席 AI 科学家姚顺雨统一管理。此次调整把语言、图像、视频、语音和 3D 生成模型团队放进同一组织,以提升模型研发与跨模态协同效率。

新闻稿显示,腾讯 7 月上线的大语言模型 Hy3 已接入 WorkBuddy、CodeBuddy、元宝、Marvis 和 ima,API 也在腾讯云 TokenHub 及多个海外平台上线。发布一周后,Hy3 总调用量较上一代 Hy2 增长超过 68 倍;在 WorkBuddy 自选模型用户中,选择 Hy3 的比例达到 60%。

混元 3D 世界模型 2.0 可根据文字、图片和视频生成或重建 3D 世界,并导出多种 3D 资产格式,用于游戏地图与关卡原型。腾讯称,混元 3D 系列模型社区下载量已超过 300 万。

Patreon 裁减 20% 员工,CEO 强调重组并非因为 AI 替代人类

Patreon CEO Jack Conte 宣布裁减 93 名员工,约占团队的 20%。他表示,平台目前有超过 30 万名创作者获得收入,创作者、会员、营收和支付规模仍在增长,但过去六个月的市场变化迫使公司调整成本结构。

Conte 特别否认此次裁员源于「AI 可以替代人类」的判断,称创造力、判断力和人际连接仍是 Patreon 产品的基础。不过,他也承认 AI 正在改变科技公司的工作和组织方式;重组后,公司将减少管理层级,把资源集中到创作者与粉丝体验及增长网络。

AMD Helios AI 服务器全面投产,第三季度末开始出货

AMD CEO 苏姿丰表示,第二代 Helios 机架级 AI 服务器已经全面投入生产,预计在第三季度末开始出货。整套系统搭载 Instinct MI455X 加速器和代号 Venice 的新一代 EPYC 处理器,直接面向大规模模型训练与推理。

AMD 已在 Advancing AI 大会上展示 Helios 机架,Vultr、TensorWave 等云服务商参与展出。微软也计划在 Azure 中规模部署 Helios;这让 AMD 与英伟达的竞争从单颗加速卡延伸到计算、网络和软件组成的整套机架系统。

消费品以旧换新带动销售额超 1.25 万亿元

商务部在国务院新闻办公室发布会上披露,2026 年以来,消费品以旧换新政策带动销售额超过 1.25 万亿元,受益规模达到 1.69 亿人次。每投入 1 元政策资金撬动的销售额,从去年的 7.8 元提高至 10.3 元。

上半年服务零售额同比增长 5.3%,高于商品零售额增速;16 大类商品中有 10 类实现增长,智能眼镜和高能效家电销售额均实现两位数增长。汽车与石油类商品则对社会消费品零售总额形成下拉。

TikTok 测试付费短剧应用 LimeShorts

TikTok 正在美国测试独立短剧应用 LimeShorts,内容以每集数分钟、连续反转的竖屏剧集为主。应用从今年 3 月开始小范围运行,采用免费试看与付费解锁结合的模式。

测试价格包括每周 20 美元或每年 200 美元,明显高于多数长视频服务的单项月费。TikTok 已拥有短视频分发和推荐能力,LimeShorts 则尝试把用户直接导向连续付费内容,以独立订阅验证微短剧的商业规模。

艾美奖把五个奖项移出 NBC 直播典礼

美国电视艺术与科学学院决定,把综艺节目编剧、限定剧或电视电影的男女配角、导演和编剧等五个奖项移到更早举行的艾美奖典礼,不再纳入 NBC 9 月 14 日的直播。

调整的直接目的,是为直播中的颁奖和节目环节腾出时间。Variety 指出,被移出的类别仍是正式艾美奖,只是不会在黄金时段电视节目里揭晓;NBC 与制作团队接下来要用节目编排证明直播节奏确有改善。

Stripe 洽购 OpenRouter,交易估值可能接近 100 亿美元

据 The Information 援引知情人士消息,Stripe 正在洽购 AI 模型聚合平台 OpenRouter,讨论中的交易估值接近 100 亿美元,最快可能在未来一个月公布,但谈判仍可能破裂。OpenRouter 此前也与 Databricks 进行过初步接触。

OpenRouter 为开发者提供数百种 AI 模型的统一访问与路由服务,上一轮估值为 13 亿美元;截至 4 月,其年化营收约为 5000 万美元,较去年 10 月增长五倍。Stripe 已提供按 token 追踪和计费的基础设施,并在今年收购用量计费公司 Metronome,收购 OpenRouter 会把模型选择与计费进一步接到同一套商业系统中。

AMD 发布锐龙 AI 嵌入式 X100,把 CPU、GPU 与 NPU 集成到单芯片

AMD 发布锐龙 AI 嵌入式 X100 系列,面向医疗设备、工业自动化、机器人和数字标牌。产品把最高 16 核 Zen 5 CPU、GPU、NPU 与统一内存集成在一颗芯片中,并支持最多四块 4K 120Hz 或两块 8K 60Hz 显示器。

AMD 内部测试显示,X100 在超声波束成形任务中的速度平均为「锐龙 7 加英伟达独立 GPU」组合的 1.7 倍;旗舰 X199 的 FP32 算力最高达到英伟达 Jetson T5000 的三倍。该系列支持工业级温度和 24×7 运行,AMD 承诺提供 10 年供货周期。

Geekbench 7 重做 CPU 与 GPU 测试,只在真实应用会并行时调用多核

Primate Labs 发布 Geekbench 7,新增 AV1 屏幕共享、Opus 音频、Whisper 实时字幕、Jolt 游戏物理等 CPU 工作负载。多核测试取消了对所有任务的强制并行,只在对应真实应用会使用多线程时运行多核版本。

GPU 测试加入人脸追踪、超分辨率、背景虚化、RAW 图像处理、路径追踪和流体模拟,并新增 CUDA 支持。测试数据集也被扩大,以减少设备缓存对结果的影响;个人非商业使用仍可免费运行。

微软推出 MAI 图像与语音模型,已进入公开预览

微软在 Microsoft Foundry 推出 MAI-Image-2.5-Pro 与 MAI-Voice-2-Flash。前者支持文生图、图生图和自然语言局部编辑,可处理对象、布局与文字修改,并强调多轮编辑中的人物和风格一致性。

MAI-Voice-2-Flash 面向低延迟语音合成,支持 15 种语言和 18 个地区,用户可用 5 至 60 秒的授权声音样本创建语音,并控制语速、音高和情绪。两款模型均由微软自研,现已进入公开预览,图像能力已用于 Bing Image Creator、PowerPoint 等产品,语音模型则接入 Azure Voice Live 和 Dynamics 365 Contact Center。

智元启动赴港上市流程,2025 年通用人形机器人出货量居全球首位

通用 AI 机器人公司智元创新表示,已启动赴港上市流程。公司成立于 2023 年,当前产品覆盖轮式、半人形、人形和四足机器人,并已从研发进入量产和场景部署。

据 Omdia 统计,智元 2025 年通用人形机器人出货量超过 5100 台,占全球市场约 39%;灼识咨询则按 2025 年及 2026 年第一季度收入,将其列为全球最大的通用 AI 机器人公司。此次启动上市流程,是该公司在产品量产之后披露的最新资本市场动作。

智象未来完成 15 亿元 C 轮融资,估值超 10 亿美元跻身 AI 独角兽

大模型技术创新公司智象未来(HiDream.ai)宣布完成 15 亿元 C 轮融资,投后估值远超 10 亿美元,正式跻身全球 AI 独角兽行列。本轮融资由社保基金四川振兴科创基金、工银资本、弘颐资管、敦鸿资本联合领投,华策影视、上影新视野基金等跟投,老股东合肥产投等持续加注。过去 3 个月内,智象未来累计融资额超过 21 亿元。

随着 C 轮融资推进,公司主体已完成股改,更名为「智象未来(合肥)科技股份有限公司」,向资本市场与「世界模型第一股」发起冲击。业绩方面,今年第一季度营收已超去年全年,目前服务超过 4 万家企业客户,覆盖全球 5000 万专业个人用户。

技术与产品层,智象未来坚持基于 UiT 原生统一架构路线。今年 6 月推出了嵌入思维链推理智能体的图像生成模型 HiDream-O1-Image-1.5,并在近期发布了具备无限时长视频生成与编辑能力的多模态创作智能体 vivago R1。

微信 AI 问答用 DynamicRubric 让评价器与模型共同进化

微信 AI 团队与清华大学提出 DynamicRubric 后训练框架,并已将其用于微信搜一搜 AI 问答。框架让同一大模型分别承担策略模型、评价标准生成器和评价标准验证器三个角色:策略模型生成多份回答,生成器依据问题和回答动态列出可用「是/否」核验的评价项,验证器逐项判断并汇总得分。

这套方法会让评价体系跟随模型能力变化。模型完成一轮优化后,评价标准生成器会根据新一轮回答更新评价项,再把新的评分反馈给策略模型;带排序的用户偏好数据则作为锚点,防止评价器只抓表面差异造成奖励投机。

开源实验以 Qwen3-8B 为统一基座。论文报告称,训练后的策略模型在 AlpacaEval 2、Arena-Hard v2.0、WildBench 和 WritingBench 四项开放域生成评测中均超过对照方案;评价标准生成器在六项准确率指标上也超过 Qwen3-32B 的零样本动态评价。微信搜一搜线上版本以 WeLM-V4-80B-A3B 为基座,升级后已全量替代上一代生产模型。

💡 马斯克:前沿 AI 实验室应在发布前相互审查模型

Elon Musk 接受《经济学人》采访时提出,领先 AI 公司应每隔几周举行一次安全会议,在前沿模型发布前安排同行审查。参与方可以检查彼此最先进的系统,并把无法自行解决的重大风险交给监管机构。

Musk 的理由是,竞争实验室最接近模型研发现场,也比政府更容易识别技术层面的失控、网络攻击和安全绕过。他希望先建立企业间的固定沟通机制,再决定哪些问题需要政府介入,避免监管者只能在产品公开后追赶风险。

这套方案还要求竞争者暂时放下商业和个人冲突。Musk 称,为了更广泛的公共安全,他愿意与 OpenAI CEO Sam Altman 搁置分歧;同行审查也应覆盖美国之外的主要模型开发者。

方案的边界仍不清楚,包括公司应开放多少模型细节,以及如何防止审查过程泄露商业机密。Musk 给出的优先顺序是先让实验室建立常态沟通,再由政府处理企业无法消除的高风险问题。

TVB 正式更名为「无线集团」,公司中英文名称同步调整

TVB 昨日宣布,公司中文名称由「电视广播有限公司」正式改为「无线集团有限公司」,英文名称则由 Television Broadcasts Limited 改为 TVB Limited,新名称自 7 月 24 日起生效。

TVB 董事会今年 3 月提出更名,并在 5 月股东周年大会上获得通过。集团主席许涛当时表示,电视广播仍是重要业务,但线上、线下媒体矩阵已经扩展到多平台娱乐与资讯业务,更名也让法人名称与「TVB」「无线」品牌保持一致。

三菱汽车将在泰国投资 160 亿泰铢,研究生产电动帕杰罗

据路透社报道,三菱汽车计划在 2030 年前向泰国投资 160 亿泰铢,约合 4.73 亿美元。泰国政府表示,这笔资金将用于汽车产业能源转型,重点投入电动车技术。

三菱正在研究以泰国为生产基地,制造并出口皮卡车型和电动版帕杰罗 SUV。泰国是东南亚第二大经济体,丰田、本田、比亚迪等汽车制造商也已在当地布局生产。

OPPO K15 开售:内置主动散热风扇,售价 2299 元

OPPO K15 昨日正式开售,仅提供 12GB+256GB 版本,售价 2299 元。手机搭载天玑 7360 SUPER 芯片和潮汐引擎,机身内置主动散热风扇与 4950mm² VC 均热板。

  • 屏幕:6.59 英寸 1.5K LTPS 直屏,采用磨砂金属中框和超抗摔晶盾玻璃;
  • 续航:8000mAh 电池,支持 80W 有线快充;
  • 影像:前置 5000 万像素镜头,后置 5000 万像素主摄与 5000 万像素超广角;
  • 机身:重 205g、厚 8.27mm,支持 IP69 防尘防水、双频 GPS、三频北斗和红外遥控。

iQOO TWS 5e 同日开售,建议零售价 149 元,首销价 129 元。耳机采用 11mm 发声单元和复合振膜,支持智能主动降噪、风声降噪、Monster Sound 电竞声效与 DeepX 3.0 立体声效。

充电盒与耳机的综合续航最长为 50 小时;关闭降噪时,单次音乐播放时间最长为 11.5 小时。耳机支持蓝牙 5.4 和 42ms 全链路游戏低延迟,单耳重 3.8g,整机达到 IP54 防尘抗水等级。

公安部 9 月将发起成立国际打击电信网络诈骗联盟

公安部昨日在国务院新闻办公室发布会上表示,将于 9 月在全球公共安全合作论坛(连云港)2026 年大会期间,举行国际打击电信网络诈骗联盟成立大会。

公安部分管日常工作的副部长亓延军称,2025 年 10 月以来,中国电信网络诈骗案件发案数已连续九个月同比下降。联盟将把跨境执法合作纳入全球公共安全合作论坛的议程。

Charli xcx 新专辑转向吉他声响,继续拆解自我与明星身份

Charli xcx 发行新专辑《Music, Fashion, Film》。她与长期合作伙伴 A. G. Cook、Easyfun 把吉他噪声、独立摇滚质感和紧凑的流行旋律放在一起,回应《Brat》爆红之后「下一步该往哪里走」的问题。

专辑用这次风格转向继续讨论身份如何被创作、消费和公众形象反复改写。《卫报》把它概括为一张关于身份不稳定性的作品,并特别肯定歌曲 Camera 和 I Am Afraid 对表演欲、婚姻焦虑和艺术家自我怀疑的坦白处理。

✨ 是周末啊!

One Fun Thing|把一只 AirPod 粘上飞盘,实时算出转速和出手速度

开发者 Pavlo Sharhan 把 AirPod 固定在飞盘上,让耳机的运动传感器把数据实时传到 iPhone。应用 Kinapod Disc 会识别每次投掷,记录转速、总旋转圈数、估算出手速度和滞空时间,还能把训练记录导出到 Strava。

这套装置的乐趣来自明显的过度设计:正式训练用更便宜的陀螺仪会更合适,贵价耳机还要承担撞上石头或落水的风险。Sharhan 称,AirPod 经历数百次投掷后仍能工作,但长期耐用性仍要继续观察。

周末看什么|《爱情抓马》

《爱情抓马》故事聚焦于即将在数日后举办婚礼的情侣 Emma(赞达亚 饰)与 Charlie(罗伯特·帕丁森 饰)。在婚礼前夕的试酒环节中,新人与伴娘、伴郎通过游戏透露彼此过往做过的最糟糕之事,意外揭开了一段隐藏已久的黑暗秘密——Emma 在高中时期曾萌生过实施极端校园枪击的念头与计划。

这一未付诸行动的心理阴暗面引发了亲友群体的剧烈动荡与道德审判,伴娘 Rachel(阿拉娜·哈伊姆 饰)等人对此强烈指责并极力干预,而 Charlie 也在道德洁癖、信任危机与情感摇摆中一步步走向越界。

整部作品以婚礼这一主流社会仪式为外壳,借由极具精神压迫感的跳切与心理惊悚镜头,深入探讨了亲密关系中的道德审判、现代人的道德虚伪以及禁枪、种族与青少年心理健康等社会议题。

截至目前,《爱情抓马》在豆瓣平台取得 6.9 分的评价(共有超过 4.6 万人参与评分)。在票房与国际反响方面,该片全球票房已突破 1.32 亿美元(制作预算为 2800 万美元),其大胆的黑色幽默叙事与两位主演的破局演绎获得了电影市场与影评界的多方关注。

买书不读指南|《色彩列传:粉色》

《色彩列传:粉色》是法国历史学家米歇尔·帕斯图罗(Michel Pastoureau)色彩文化史系列的第七部作品。作为该系列开启「第二梯队色彩」探讨的新篇章,本作承接了此前蓝色、黑色、绿色、红色、黄色及白色的研究体系。

《色彩列传:粉色》梳理了粉色从远古至 21 世纪在欧洲社会中的文化演变。书中指出,粉色的历史充满复杂性——虽然人类早就在自然界中观察到粉色,但由于中世纪早期此前人们偏好纯正鲜艳的色彩,粉色长期未被纳入正式色彩序列。

直到 18 世纪人工粉色颜料与染料被成功制造,人们才将其确立为「红色与白色的混合」,并借助花卉语言完成固定命名,例如法语与德语选用「玫瑰」(rose),英语选用「石竹」(pink)。

在社会文化与象征意义层面,粉色经历了多重内涵演变。在性别议题上,它完成了从男性向女性、从贵妇向女婴的社会印象转变;而在当代欧洲,粉色既被赋予低俗或色情等负面关联(如法语中「玫瑰水小说/电影」意指公式化爱情作品),同时也代表着温柔、洁净、愉悦与乐观主义等积极意象(如法语「看到玫红色的人生」)。

游戏推荐|《超级变色龙》:把自己涂成场景的一部分

《MECCHA CHAMELEON》是一款多人躲猫猫游戏。躲藏方的身体原本是白色,需要直接在身上涂画,让轮廓、颜色和图案尽量融入关卡;寻找方则要从姿势和细小破绽里认出假装成背景的玩家。

游戏已于 6 月 9 日登陆 Steam,支持在线对战、创意工坊和家庭共享。Steam 最近 30 天的 4.6 万多篇评价中,88% 为好评;PC Gamer 认为它手绘伪装的点子很迷人,但部分规则也会带来挫败感。

#欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。



from 爱范儿 https://ift.tt/0i7AWIG
via IFTTT

2026年7月23日星期四

刚拿完菲尔兹奖,他扭头加盟 OpenAI

昨晚,四年一度的菲尔兹奖在美国费城揭晓。

四位得主里,中国籍数学家邓煜、王虹历史性地首次拿下菲尔兹奖,北大一夜之间变成「双菲」母校。另外两位是加拿大数学家 Jacob Tsimerman(雅各布·齐默尔曼)和美国数学家 John Pardon(约翰·帕登)。

▲ 2026 年菲尔兹奖得主,从左至右:邓煜、John Pardon、Jacob Tsimerman 和王虹

值得说道的是 Tsimerman 这位。

他今年 38 岁,加拿大机构第一位菲尔兹奖得主,16 岁上大学,两年读完本科,2004 年国际数学奥林匹克满分金牌,是多伦多大学数学系史上最年轻的正教授。

拿奖的理由是他把 o-minimality 这个来自数理逻辑的工具搬进了算术几何和复代数几何,顺手证明了 Griffiths 猜想。此外,他还参与完成了困扰数学界几十年的 André-Oort 猜想。

▲ Jacob Tsimerman

好家伙,这履历,标准的天才剧本。

然而剧情不按常理出牌,颁奖当天的获奖者新闻发布会上,有人问他接下来打算做什么。刚拿完菲尔兹奖的他表示,已经开始转向 AI 安全了,并且很快就要去 OpenAI 的安全部门上班。

▲ OpenAI 高管 Mark Chen 发文祝贺

数论学家是数学界的「扒手」

先具体说说 Tsimerman 是干嘛的。

Tsimerman 自己有个特别精准的比喻:数论学家是数学界的扒手。

啥意思?

数论负责提问,但不负责解题。费马大定理就是典型例子,a 的 n 次方加 b 的 n 次方等于 c 的 n 次方,n 大于 2 时没有整数解。这句话小学生都听得懂,数学家们证了三百多年,最后靠安德鲁·怀尔斯用一整套现代数论工具才拿下。

问题好提,解法难找。所以数论学家的日常,就是到处「偷」别的领域的工具。

想解一个多项式的整数解?太难了。那换个思路:先看它的实数解。比如 x²+y²=25,这种整数解叫毕达哥拉斯三元组,找起来出奇地麻烦;但实数解满地都是,你画个圆就完事了,圆上随便取一点就是一组解。

于是圆出现了,代数几何登场了。

扒手的活儿正式开工:

把圆拉扯变形当成一个环,拓扑学的工具就能用了;保持圆的刚性,研究什么形状能穿过去、张力多大,微分几何和黎曼几何来了;研究圆上函数的行为,分析学也来了。

Tsimerman 自己感慨了一句:这个世界美得毫无道理,那些形状、几何、拓扑,居然真的能告诉你数论的答案。

但这里有个麻烦。

多项式是最老实的函数,可你一旦开始求积分、求反导数,各种妖魔鬼怪就冒出来了:三角函数无限震荡,对数指数函数图像无限长,还有皮亚诺曲线,明明是一条线,却能把整个正方形填满。

数学家需要一个笼头,把这些野东西驯服。Tsimerman 找到的工具,来自数理逻辑里的 o-minimality(o 代表 ordered)。
定义听起来朴素得离谱:一个形状是 o-minimal 的,如果任何一条直线跟它相交,交点只有有限多个点和区间。

就这?就这。

但它精确定义了什么叫「温顺的几何」。Tsimerman 和 Benjamin Bakker、Yohan Brunebarbe 一起证明了:数论和算术几何里用得极广的 Hodge 理论,就活在这个 o-minimal 的世界里。

这一下就把 Griffiths 猜想解决了,那是 Phillip Griffiths 1970 年在尼斯的国际数学家大会上提出的构想,挂了半个多世纪。Tsimerman 说得很谦虚:Griffiths 讲了很多故事,我们只是把其中一个讲完了。

而他的成果还牵着 Hodge 猜想,就是那七道百万美元千禧年难题之一。

顺便说个有意思的细节。年轻时的 Tsimerman 特别瞧不上举例子这件事。他说,当时觉得证定理才是厉害的人干的事,举例子是本事不够才做的,我这辈子只想写变量,一个具体数字都不写。

现在呢,他的数学直觉全靠脑子里那一大堆例子撑着。他说,构造这些玩具案例的时刻,是他最鲜活的时刻。你要问他最近在忙啥,他会告诉你:手上有 20 个问题,20 个都卡住了。

「这是老生常谈,但我确实在所有事情上不停失败,最后做出来的那点东西,只是从裂缝里漏出来的一点点成功。」

他的秘诀是学会从「不算成功」里获得满足感。

「最有启发的时刻,恰恰是某个方法行不通的时候。我试了个想法然后失败了的那一天,我觉得是好日子。」

那么一个 38 岁、刚拿到数学界最高荣誉、被导师 Peter Sarnak 评价为「少数几个此类基本问题得到解决的高维情形之一」的成果的人,接下来该干嘛?

按常理,应该是继续攻猜想,带学生,成为一代宗师。然而,他在菲尔兹奖的新闻发布会上却表示要转行弄 AI 了。

▲ 原话位于新闻发布会 1 小时 14 分 🔗 https://www.youtube.com/watch?v=2dr2F2NVUkY

他在发布会上的原话大意是:转个方向,看起来挺酷的。我已经开始转向 AI 安全了,并且很快就要去 OpenAI 的安全部门任职。

他还说,自己正在整理一份资源清单,专门给想转行到这个领域的数学家用。他觉得这是个非常重要的方向,希望不只是数学家,而是更多人都能参与进来,只不过数学家是他熟悉的群体。

并且在他看来,过去两年,AI 靠总结论文和起草证明把他的产出翻了一倍,而他认为这只是开始:「我觉得它很快就会在做数学这件事上比数学家更强。」

而更实在的动作是,他已经停止招收博士生。理由是他不想让学生为一个「可能不复存在的数学职业」做准备。

至于为什么这么悲观,有个直接的刺激事件:今年 5 月,OpenAI 的模型推翻了悬置 80 年的埃尔德什单位距离猜想,125 页证明,九位顶尖数学家参与验证,评价是「如果由人类提交,可以直送《数学年刊》」。

Tsimerman 就是那九个人之一。他后来也曾坦白,这条思路他自己试过,放弃了,因为太耗时而且经常走不通。

有意思的是,Tsimerman 之所以转向 AI,是因为在他看来,数学家可以为理解大模型提供理论基础。

「这(AI)主要还是一门经验和工程的科学。如果我们能更好地理解这些东西是怎么工作的,也许就能更好地引导它们、理解它们、控制它们。」

他还表示:「以大多数人的标准衡量,我的观点相当极端。我认为 AI 会成为对社会、对人类的严重威胁。」因此,一个刚拿菲尔兹奖的数论学家,将把余生押在 AI 安全上。

老朋友和新面孔

Tsimerman 不是孤例。

去年 12 月,57 岁的 Ken Ono(小野健)辞掉了弗吉尼亚大学的终身讲席教授。解析数论权威,美国数学会会士,履历厚得能砸死人。

他去了哪儿?去了自己 24 岁前学生洪乐潼(Carina Hong,MIT 数学本科、摩根奖得主、罗德学者)创办的 AI 数学公司 Axiom Math,当第 15 号员工,头衔叫「创始数学家」,工作内容是出难题,设计题目去测 AI 的极限。

这家公司刚成立就融了 6400 万美元,还从 Meta 挖了一批 AI 数学研究员。

触动他的是 2023 年一场 AI 数学研讨会。

他的原话是:在我不擅长的数学领域,AI 已经远远超过我。之后他思考好几个月,最后想通了:AI 不是来取代数学家的,它是来改变数学的做法的。

而这样的公司正在成群出现:OpenAI、Anthropic,还有 Harmonic、Logical Intelligence、Math Inc.……

卡内基梅隆的 Jeremy Avigad 一句话点破为什么企业界这么馋数学家:通用智能的关键,是把机器学习的洞察力和数学的精确性结合起来。

更微妙的是 FrontierMath 这个基准,约 40 位数学家(包括 Ken Ono)为 AI 编研究级数学考题,OpenAI 提供支持。学界给工业界出题,工业界给学界发工资,两边已经很难分开了。

包括现在数学界大致分成三派。

陶哲轩表示 AI 是强大的助手;菲尔兹奖得主 Akshay Venkatesh 则认为需要警惕,数学家可能会丧失对数学本身的直接理解和体验。

Tsimerman 则表示整个职业都有危险。三种态度里,Tsimerman 的态度也最为悲观,至于为什么大牛们纷纷出走,往深了说,这波迁徙也有几层硬原因。

最硬的一条是算力。 传统学术实验室的年度算力预算,几十万到几百万美元。而前沿 AGI 研究,一次大规模实验就是几千万美元。

大学能做的只有小规模理论推演,OpenAI、Anthropic 手里握着几万张高端 GPU 和私有数据集。Tsimerman 的意思不言而喻:很多猜想,人类一辈子的算力都不够试,只有 AI 公司的算力能规模化探索。

问题本身也转移了。 对数学家来说,自动定理证明、形式化验证,现在是最激动人心的开放问题;传统数论和几何的很多瓶颈,卡的不是理论而是算力。

还有机构环境的差别。 大厂研究院官僚化了,资源向能快速产品化的项目倾斜,长线高风险的基础探索被压缩。相比之下,创业型 AI 实验室决策链条短,目标更纯粹。

日常损耗同样劝退。 终身教授要上本科课、招博士、做行政评审、不停写基金申请书。工业实验室不用授课,行政压力极低,可以直接攒跨学科团队。

钱当然也在里面,但排在后面。 终身教职年薪 15 到 35 万美元,头部 AI 企业资深科学家总包普遍 50 到 150 万美元。对菲尔兹级别的人来说,钱通常是加分项而不是决定项。

那么这是好事还是坏事呢?

正面看,学科壁垒被打破了,数学家、物理学家、计算机科学家被放进同一个目标里,交叉融合的速度确实在加快。

OpenAI、Anthropic 正在演变成私人资助的高级研究院,有点当年洛克菲勒研究所的意思。而大批纯数学家入场做对齐和形式验证,对「经验调参为主、缺乏严格理论」的大模型行业来说,是实打实的补强。

反面的担忧也不言而喻。终身教授走了,研究生导师就缺人,年轻人会形成预期:最好的出路是直接去 AI 公司,而不是留校做纯数学。

基础人才梯队会被抽薄。

大学的成果基本都公开发表,私有实验室的核心研究大量不公开。前沿理论如果逐步被少数几家企业垄断,学术生态就走向封闭了。

还有研究方向的隐性约束。哪怕企业允许自由探索,资源分配天然偏向和 AGI 相关的课题,那些冷门的、长线的、短期内喂不到 AI 产业的方向,会更加没人做。

话题扯远了,最后还是回到 Tsimerman 本人。

他说,三岁就开始玩数学谜题,家里长辈是物理学家,母亲教数学。「数学基本上就是解谜。」多大数学系主任 Mary Pugh 是这么形容他的:经常能在休息室的黑板前找到他,跟一群学生一起琢磨问题,乐在其中。

现在,这位史上最年轻的多大数学正教授,也终于不用再费劲跟别人解释什么叫数论学家了。因为他要去研究 AI 了,而后者全世界都在讨论。

附上参考地址:

https://ift.tt/9xODavJ

https://ift.tt/FhkEC63

https://ift.tt/5s4AGrp

#欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。



from 爱范儿 https://ift.tt/Qs6eGtv
via IFTTT