菲尔兹奖得主邓煜谈AI：已能帮助数学证明 但不能替代独立思考

7月24日，2026年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用AI辅助工具，GPT曾帮助解决一个连续几天未能突破的数学特例。

邓煜表示，他使用AI的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论，他会让AI给出证明后再进行检查；AI有时也能补充他不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。

邓煜透露，在近期一项工作中，有一个主要命题的特殊情形，他连续几天没有解决，GPT给出了一个非常简单的证明，很快处理了那个特例。虽然该证明无法推广到一般情形，未写入最终论文，但提供了有价值的思路。

邓煜表示，AI即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线。他期待未来出现一种更成熟的协作方式：人类研究者负责总体框架和核心思路，AI帮助完成部分技术性推导。但他也强调，对刚进入科研的学生而言，使用时仍要保持判断力，“不能因为AI给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤”。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)

黑森林实验室FLUX3 多模态模型登场：单次生成 20 秒音视频，胜率碾压Grok与Seedance

Black Forest Labs宣布以Early Access方式上线推出FLUX3 多模态基础模型，采用统一架构联合学习图像、视频和音频。该模型基于Self-Flow（自监督流匹配）学习框架扩展，同步训练视频、图像和音频，在FLUX. 1 和FLUX. 2 系列基础上进一步扩展至多模态生成与理解任务。

性能全面碾压，原生音频同步输出

FLUX3 可在单次生成中输出最长 20 秒的视频并附带原生音频，支持文生视频、图生视频、视频生视频、输入视频与音频续写、关键帧转视频、多语言对话以及多镜头串联等多种创作模式。在带声音的 10 秒720p视频人工评测中，FLUX3 对比Grok Imagine Video胜率达69%，对比Seedance 2. 0 和Gemini Omni Flash胜率均为52%，展现出全面领先优势。

图像能力全面，进军机器人行为预测

在图像能力方面，官方称FLUX3 可完成图像生成与编辑，覆盖多种风格、宽高比和分辨率。更值得关注的是，Black Forest Labs正与Mimic Robotics合作，研究将FLUX3 用作机器人行为预测模型，将多模态AI能力从内容生成延伸到实体机器人领域。这一布局意味着FLUX3 不仅是一个创作工具，更有望成为连接数字世界与物理世界的通用多模态引擎。

via AI新闻资讯 (author: AI Base)

美国初创公司反对禁止使用中国开放权重模型

2026-07-24 17:17 by 记忆

近两百家美国科技初创公司组成 Little Tech Association 联盟，联署致函美国总统特朗普、商务部长 Howard Lutnick 等政府高官，呼吁政府不要禁止使用来自中国的开放权重模型。此前由于中国 AI 模型在性能上逼近美国的前沿 AI 模型 Anthropic 的 Fable 5 和 OpenAI 的 GPT-5.6 Sol，美国政府官员表示在考虑封禁中国的 AI 模型。Little Tech Association 的联署信指出，此举会削弱美国初创公司，且并不能阻止开放权重模型扩散。而美国要保持其领先地位需要有世界领先的开放权重模型，确保美国公司能访问其它地方的开放权重模型。

https://littletech.org/
https://slashdot.org/story/26/07/23/0623233/startup-founders-urge-trump-not-to-shut-off-chinese-open-weight-ai

#人工智能

via Solidot - Telegram Channel

Elevated error rate on Opus 4.8

Jul 24, 09:09 UTC
Investigating - We are currently investigating this issue.

via Claude Status - Incident History

菲尔兹奖新得主齐默尔曼官宣加入OpenAI，数学最高荣誉得主转向AI安全

2026 年国际数学家大会在费城开幕，本年度菲尔兹奖四位得主揭晓——邓煜、约翰·帕登、雅各布·齐默尔曼与王虹。其中邓煜、王虹成为菲尔兹奖自设立以来首批获此殊荣的中国籍数学家，而另一位新科得主齐默尔曼则在赛后新闻发布会上宣布，将转向AI安全领域研究并即将加入OpenAI。

核心猜想被攻克，数学天赋获OpenAI高度评价

齐默尔曼此番摘奖的核心资本，是把o-极小性理论重塑为算术几何与复代数几何的基础研究工具，并成功证明多项学界核心猜想，包括格里菲斯周期图像的代数性猜想和西格尔模簇相关的安德烈-奥尔特猜想，为数论发展落下重笔。OpenAI首席研究官马克·陈与前微软AI副总裁、现OpenAI研究员布贝克均发声确认并表达欢迎。马克·陈评价齐默尔曼拥有顶尖数学天赋，而其对待AI安全议题那份严谨审慎的态度与深刻独到的思考同样令人钦佩。

*MO两度摘金，师从数论名家萨纳克

齐默尔曼是加拿大籍数学家，主攻数论、算术几何与超越数论， 1988 年出生。少年时期曾代表加拿大出征2003、 2004 两届国际数学奥林匹克（IMO），两度摘金且 2004 年拿下一满分。他本科就读多伦多大学， 2011 年获普林斯顿数学博士学位，师从数论名家彼得·萨纳克，此后在哈佛学者协会做博士后，自 2014 年起任教于多伦多大学数学系至今。一位刚站在数学界巅峰的学者选择跨界投身AI安全，这一决定本身就传递出强烈信号——在AI能力飞速跃升的当下，安全治理对顶尖人才的吸引力正在与纯学术研究比肩。

via AI新闻资讯 (author: AI Base)

Runway推出Media Router：自动切换AI模型帮你省Token，创意验证到成片一条龙搞定

Runway公司宣布推出Runway Media Router，在生成图像、视频、音频时可根据使用场景灵活切换所用AI模型。系统将模型选择标准归纳为质量、处理速度和成本三项，依据单次请求的优先级自动切换模型，大幅减少开发者逐一比较和手动切换模型的负担。

三大场景智能匹配，省钱省时两不误

Runway将模型调用场景分为三类：高速生成适用于创意验证阶段，快速出稿比精致更重要；低速但高质量适用于成片环节，画面细节和精度是第一优先级；质量中等但成本较低则适用于预算敏感的日常生产任务。例如用于创意验证的视频生成更重速度，而成片环节更重质量，系统会自动为每个环节匹配最合适的模型。

开发者无需再为"用哪个模型最划算"反复纠结，Media Router会根据当前任务的实际需求自动做出最优选择。这种按需切换的模式不仅能有效降低Token消耗，还能让创作流程更加顺畅高效。

已接入Seedance、GPT Image2 等多家模型

目前Runway Media Router已在开发者平台Runway Dev上线，支持生成图片、视频和音频三种内容类型，可调用Seedance、GPT Image2 和ElevenLabs等多家公司的模型。这意味着开发者通过统一接口即可接入不同厂商的顶尖模型，无需分别对接各家API。这一产品的推出，标志着AI内容生成正从"单模型打天下"走向"多模型协同调度"的新阶段。

via AI新闻资讯 (author: AI Base)

三年了，为什么 AI 应用还没爆发？

via 掘金人工智能本月最热 (author: 写代码像蔡徐抻)

Telegraph

三年了，为什么 AI 应用还没爆发？

最近meta讲了个算力过剩的鬼故事，AI 股市应声暴跌，大家都很焦虑。 都在问这场 AI 游戏还能不能继续，AI 应用到底什么时候爆发，AI的抖音微信小红书什么时候才出现，AI会不会重蹈 2000 年互联网泡沫的覆辙。 我说一个我的预言：半年内，AI 基建泡沫很可能破裂；一年后，企业 AI 应用开始爆发；两年后，个人 AI 应用才会真正起来。 为什么这么说。 因为现在的 AI 和四十年前的个人电脑实在太像了。 今天的 AI，聊聊天、辅助干活确实很强，但离普通人想象中的“打开就能用、用完就上瘾”还差得很远…

Elevated Errors in Codex Review

Status: Investigating

We are investigating the issue for the listed services.

Affected components
● Codex API (Degraded performance)
● Codex Web (Degraded performance)
● CLI (Degraded performance)
● VS Code extension (Degraded performance)

via OpenAI status

Claude语音模式升级 支持更强大AI模型

Anthropic公司今日为Claude语音模式推出重大升级，首次加入 Opus 与 Sonnet 模型支持，并新增多项功能。此前语音模式仅限于Haiku模型，偏向即时回应而较少深层思考；现在付费用户可以在语音模式中享受更强大的模型能力，并在对话期间切换模型。

新版 Claude 语音模式已于 Anthropic 的移动端、桌面端及网页应用上线。用户可通过官方渠道了解详细操作方式。此次升级显著提升了 Claude 语音模式的实用性，尤其适合需要深度分析与多语言协作的场景。

—— 雅虎新闻、Techcrunch

via 风向旗参考快讯 - Telegram Channel

黑森林实验室放出 Flux3：首个原生生成音频的多模态基础模型，20 秒音画同步一次成型

德国人工智能初创公司黑森林实验室（Black Forest Labs）正式发布多模态基础模型 Flux3。它基于 Self-Flow 架构打造，配备专用的图像、视频、音频及动作编解码器，把对物理世界与数字环境的统一理解与生成揽到了一起。

最扎眼的一点是音视频同步。Flux3是首个支持原生音频生成的多模态模型，一次就能吐出长达20秒的音视频同步片段，能力覆盖文本、图像、视频转视频，基于关键帧的转场，以及多角色对话等。对一支模型来说，把"听得见"和"看得见"捏成同一套底座，意味着它不再只是图像或视频的单科选手。

早期测试里，在720p 分辨率、10秒片段的设置下，Flux3把 Luma Ray3.2按93% 的胜率压了下去，对 Runway Gen-4.5也有77% 的胜率优势;即便摆到 Seedance2.0与 Gemini Omni Flash 这类顶尖模型面前，它仍守住了微弱上风。

动作也被它伸进了现实。黑森林实验室联合 Mimic Robotics 开发了面向机器人领域的动作模型 Flux-mimic，目前已在奥迪工厂跑起了生产任务测试——多模态能力从屏幕里走到了产线上。发布节奏上，BFL 选择分阶段推进:Flux3Video 已经先上线，Flux3Image 与带开源权重的 "Flux3Dev" 也将在近期陆续放出。

via AI新闻资讯 (author: AI Base)

新晋菲尔兹奖得主IMO 满分天才 Tsimerman 官宣加入 OpenAI

当地时间7月23日上午，2026年国际数学家大会在费城开幕，本年度菲尔兹奖四位得主揭晓——邓煜、约翰·帕登、雅各布·齐默尔曼与王虹。其中邓煜、王虹成为菲尔兹奖自设立以来首批获此殊荣的中国籍数学家，写下历史一笔。而在这场数学界最高荣誉的发布会后，一位新科得主顺势宣布了自己人生的下一个方向:深耕 AI 安全，不久后入职 OpenAI。

这位是雅各布·齐默尔曼（Jacob Tsimerman）。他此番摘奖的核心资本，是把 o-极小性理论重塑为算术几何与复代数几何的基础研究工具，并成功证明多项学界核心猜想，包括格里菲斯周期图像的代数性猜想、西格尔模簇相关的安德烈-奥尔特猜想，为数论发展落下重笔。在赛后新闻发布会上，他对外表示将转向 AI 安全领域研究，并很快加入 OpenAI。消息一出，OpenAI 首席研究官马克·陈(Mark Chen)与前微软 AI 副总裁、现 OpenAI 研究员塞巴斯蒂安·布贝克(Sebastien Bubeck)均发声确认并表达欢迎。马克·陈评价，Tsimerman 拥有顶尖数学天赋，而他对待 AI 安全议题那份严谨审慎的态度与深刻独到的思考，同样令人钦佩。

Tsimerman 是加拿大籍数学家，主攻数论、算术几何与超越数论，长期在这些方向与模型论的交叉地带深耕。他1988年出生，少年时曾代表加拿大出征2003、2004两届国际数学奥林匹克（IMO），两度摘金，2004年更拿下一满分;本科就读多伦多大学，2011年获普林斯顿数学博士、师从数论名家彼得·萨纳克，此后在哈佛学者协会做博士后，自2014年起任教于多伦多大学数学系至今。一位 IMO 满分出身、把核心猜想一一攻破的数学家，转身扎进 AI 安全，OpenAI 这笔人才账，分量不轻。

via AI新闻资讯 (author: AI Base)

Claude 语音模式扩展至 Opus 与 Sonnet 模型

Anthropic 将 Claude 的语音模式从 Haiku 扩展至性能更强的 Opus 和 Sonnet 模型，并新增 Gmail、Slack、Canva 等第三方应用接入，可代用户执行把对话整理成提案、因火车晚点调整日程等操作。用户还能在对话中途自由切换文字与语音模式及不同模型。

公司表示，2025 年推出语音模式后，用户很快将其用于解决实际业务问题，而 Haiku 难以胜任深度对话。此外，语音模式正式新增法语、德语、西班牙语、印地语、印尼语、意大利语、日语、韩语和葡萄牙语支持，此前非英语语言仅限测试版。

The Verge

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel

Google Q2 资本开支翻番破纪录：449 亿美元砸向 AI 基建，云业务利润率几乎翻倍

谷歌的算力账单，正在以惊人的斜率往上爬。Alphabet 第二季度财报显示，资本支出同比暴涨100%，冲到创纪录的449.2亿美元，按这个节奏年化，全年支出已逼近1800亿美元。而真正的故事，是这笔钱背后那台越转越快的赚钱机器。

二季度谷歌营收同比增长24%，达到1198亿美元，高于分析师预估的约1169亿美元;最亮眼的仍是 Google Cloud——营收飙升82% 至248亿美元，运营利润率近乎翻倍到35.6%，积压订单目前堆到了5140亿美元。Gemini 也交出了进展:月活用户达到9.5亿，模型 API 每分钟处理的 token 量高达220亿。云业务一边接住海量需求，一边把利润空间撑开，正是谷歌敢把资本开支翻倍的直接底气。

这股 AI 基建的洪流远不止谷歌一家。摩根士丹利预测，超大规模云服务商的资本支出将从2026年的约8000亿美元，跳到2027年的1.2万亿美元;高盛研究则估计2026年为7650亿美元，到2031年达1.6万亿美元。麦肯锡的口径更夸张——到2030年相关资本支出总额6.7万亿美元，其中单是面向 AI 的数据中心就要吞下5.2万亿。当一家公司的季度capex能同比翻番、而云利润率同步翻倍，它赌的显然不是一两个季度的回报，而是一整轮由 AI 重写的基础设施周期。

via AI新闻资讯 (author: AI Base)

ChatGPT桌面应用上线语音模式：口述需求AI多线程干活，冲杯咖啡的功夫会议纪要就备好了

OpenAI发布公告，宣布升级ChatGPT桌面应用（已与Codex合体），引入由GPT-Live模型驱动的ChatGPT Voice语音模式。用户可在聊天、办公和编程三个板块中，通过语音发起、检查或调整任务，实现多线程工作协同。

全双工语音加持，边聊边干活

在发展历程上，OpenAI于 2024 年首次为ChatGPT引入语音识别功能，随后持续加码语音技术。最新发布的GPT-Live模型实现了全双工语音，可同时聆听与说话，让AI对话感觉更接近真人交流。OpenAI在声明中表示："我们正朝着AI愿景前行，未来用户只需口述需求，ChatGPT就能根据你的思路快速推进多项任务。"

ChatGPT Voice支持用户从单一对话中启动多个工作流程，并在智能体后台完成任务时继续交谈。以规划一次商务旅行为例，用户可以要求ChatGPT检查日历查找冲突、梳理收件箱查看航班是否有变更，并准备会议记录，所有这些都是在"用户冲咖啡或做其他事情时"完成的。这意味着AI不再只是你问一句答一句的工具，而是能真正接管你的多任务工作流，让语音交互从简单的对话迈向高效的智能体协同。

via AI新闻资讯 (author: AI Base)

🤖 OpenAI 向全美用户开放 ChatGPT Health 健康功能

OpenAI 于 2026 年 7 月 23 日宣布，向所有 18 岁以上美国用户开放 ChatGPT Health 功能，覆盖免费到 Pro 的全部订阅计划。用户可整合 Apple Health、MyFitnessPal 等健康数据，以及 Epic、Oracle Health 等医疗记录，并在所有对话中调用这些信息。公司称每周健康查询已达 3 亿次，测试期间 70% 的此类查询发生在专属健康中心之外。

TechCrunch

🌸 在花频道 · 茶馆水群 · 投稿通道

via 科技圈🎗在花频道📮 - Telegram Channel

Claude 语音模式终于用上 Opus 了：从"随口问答"升级成能调工具、换语言的实时参谋

via AI新闻资讯 (author: AI Base)

Telegraph

Claude 语音模式终于用上 Opus 了：从"随口问答"升级成能调工具、换语言的实时参谋

有些难题，光靠打字是解不开的。Anthropic 今天给 Claude 语音模式动了一次关键升级——它不再只跑轻量级的 Haiku，而是能运行在 Claude Opus、Claude Sonnet 和 Claude Haiku 三档模型上，同时接上了 Gmail、Slack 这类已连接的工具，并把支持语言扩到了更多。 这步升级有来由。今年早些时候 Claude 加了免提对话后，人们很快把语音模式用到了更复杂的场景:更长的会话里，靠说话而非打字去啃真实的业务问题。但那会儿语音模式只跑 Haiku，选它是为…

德国黑森林实验室发布Flux3 多模态模型：原生音频生成， 20 秒音视频同步输出

德国AI初创公司黑森林实验室正式发布多模态基础模型Flux3。该模型基于Self-Flow架构打造，配备专用的图像、视频、音频及动作编解码器，实现了对物理与数字环境的统一理解与生成。

性能碾压Luma与Runway，对标顶尖模型

作为首款支持原生音频生成的模型，Flux3 可一次性输出长达 20 秒的音视频同步片段，并涵盖文本/图像/视频转视频、基于关键帧的转场及多语言对话等功能。在720p分辨率、 10 秒片段的早期测试中，Flux3 性能以93%胜率超越Luma Ray3.2，以77%胜率碾压Runway Gen-4.5，并在与Seedance2. 0 及Gemini Omni Flash等顶尖模型的对标中保持微弱优势。

进军机器人领域，分阶段推出策略

公司联合Mimic Robotics开发了适用于机器人领域的视频动作模型Flux-mimic，目前已在奥迪工厂开展生产任务测试，将AI能力从纯数字世界延伸到实体制造场景。BFL采取分阶段推出策略，Flux3 Video现已上线，Flux3 Image与开源权重的"Flux3 Dev"也将在近期陆续发布。

via AI新闻资讯 (author: AI Base)

腾讯甩出 WorkBuddy Bench：一套把代码、网页、办公、安全全装进来的编码智能体考场

via AI新闻资讯 (author: AI Base)

Telegraph

腾讯甩出 WorkBuddy Bench：一套把代码、网页、办公、安全全装进来的编码智能体考场

评测编码智能体，过去总在几块割裂的场子里打转——修 bug 的看 SWE-bench，做前端的看 Design2Code，生产环境的基准又多半关着门不让外人审计。腾讯这次把四块拼到一处，端出一个叫 WorkBuddy Bench 的多领域评测套件，论文已挂在 arXiv 上。它最较劲的地方不在于题多，而在于这些题从根上就防着"背答案"。 整套基准横跨四个工作领域:代码（仓库级软件工程）、网页(前端制品)、办公(多文件业务流程)和安全(红蓝队)。规模分别是80、70、50、60个任务，合计260道。关键点…