https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析

Buy ads: https://telega.io/c/AI_News_CN
菲尔兹奖新晋得主齐默尔曼加入OpenAI 主攻AI安全

在费城举办的2026年国际数学家大会上,雅各布·齐默尔曼(Jacob Tsimerman)成为新晋菲尔兹奖得主之一。颁奖典礼后的新闻发布会上,这位38岁的加拿大数学家宣布职业方向重大调整:他将加入OpenAI,从事人工智能安全方向研究。

这一决定与齐默尔曼一年前的公开立场形成鲜明反差。2025年7月,他参与撰写《人工智能潜在毁灭性灾难场景分类框架》,梳理了高阶人工智能致使人类灭绝的多条可能路径。他当时公开认为这类极端风险发生概率不容小觑,呼吁暂停前沿人工智能研发;同时坦言,地缘博弈与企业商业竞争大概率会让全球研发暂停协议难以落地。即便频频发出风险警示,齐默尔曼日常工作早已常态化使用大语言模型,依靠AI加快文献梳理、完成定理初步核验。

人工智能能力飞速迭代,让他的研究思路发生转变。今年早些时候,齐默尔曼昔日博士生、任职于Anthropic的数学家莱文特・阿尔珀格对外表示,借助AI协作,团队找到了有着百年历史的雅可比猜想的反例。不久后,OpenAI对外披露,其内部推理模型独立证出存在反例,推翻了已有80年历史的单位距离猜想。齐默尔曼受OpenAI邀请担任外部核验专家,判定AI推导的证明过程逻辑严谨,具备直接刊发于顶级数学期刊的水准。接连的进展让他意识到,人工智能正在从计算辅助工具,转变为严谨数理发现的主动参与者。

齐默尔曼意识到,无论安全领域如何争论,前沿AI研发都不会止步,于是研究重心从“阻止风险诞生”转向“对齐管控风险”。他提出,随着自主AI系统能力不断变强,仅靠实测验证无法充分保障安全性;数学证明能够搭建更稳固的约束体系,管控多智能体AI系统。OpenAI长期深耕模型对齐、逻辑推理、数理验证,与他的专业高度契合。

此次择业也折射出学术界整体格局变化。齐默尔曼宣布不再招收常规数学博士生,理由是一旦机器在严谨逻辑推理层面稳定超越人类,传统数学科研职业路径的存续性存疑。OpenAI尚未公布他的具体岗位,也未说明他是否保留多伦多大学教职;但他的入职印证行业愈发需要深耕数理逻辑的数学家,打通高阶AI能力与可核验安全规范。此举也代表学界主流务实转向:科研界不再执着于叫停技术发展,转而优先搭建可管控AI的数学体系。

via cnBeta.COM - 中文业界资讯站 (author: 稿源:环球市场播报)
↩️ 新晋菲尔兹奖得主 Jacob Tsimerman 领奖当天官宣加入 OpenAI


科技圈🎗在花频道📮:

2026 年菲尔兹奖揭晓,两位中国籍数学家首次获得菲尔兹奖 国际数学联盟公布 2026 年菲尔兹奖得主。菲尔兹奖每四年颁发一次,用于表彰未满 40 岁、已取得突出成果并展现未来潜力的数学家。 邓煜 表彰他在偏微分方程方面的贡献,包括从稀薄气体的硬球动力学严格推导出玻尔兹曼方程、从非线性色散系统推导出波动力学方程,以及在非线性薛定谔动力学方面的概率方法研究。 John Pardon 表彰他在辛几何方面的成就,包括虚拟基本循环的新方法、某些流形的福冈(Fukaya)范畴与全纯曲线的计数,以及他在几何与拓…

新晋菲尔兹奖得主 Jacob Tsimerman 领奖当天官宣加入 OpenAI

2026 年国际数学家大会当地时间 7 月 23 日在美国费城开幕,四位菲尔兹奖得主揭晓,其中邓煜、王虹成为首批获得该奖的中国籍数学家。同获该奖的加拿大籍数学家 Jacob Tsimerman 在赛后新闻发布会上宣布,将加入 OpenAI 深耕 AI 安全领域研究。

Tsimerman 生于 1988 年,主攻数论与算术几何,曾两度摘得国际数学奥林匹克(IMO)金牌,并于 2004 年获得满分。他 2011 年获普林斯顿大学博士学位,2014 年起任教于多伦多大学。OpenAI 首席研究官 Mark Chen 等已公开确认其加盟并表示欢迎。

快科技

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

via 科技圈🎗在花频道📮 - Telegram Channel
菲尔兹奖得主邓煜谈人工智能:已能帮助数学证明,但不能替代独立思考

2026年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露,他在数学研究中会使用AI辅助工具,GPT曾帮助解决一个连续几天未能突破的数学特例。邓煜表示,他使用AI的感受是“已经让很多研究环节方便了不少”。对于一些基本确定为真的简单结论,他会让AI给出证明后再进行检查;AI有时也能补充他不知道的知识,例如某个组合计数问题所对应的已有结构或标准结论。

邓煜称,AI即使不能直接完成最终证明,也可能帮助研究者迅速探索局部路线。但他也强调,对刚进入科研的学生而言,“不能因为AI给出了一段看似完整的论证,就跳过独立判断和严格核验这些必要的步骤”。

—— 凤凰网科技

via 风向旗参考快讯 - Telegram Channel
OpenAI 发布企业 AI 产品 Presence,软件股集体重挫

OpenAI 本周三发布面向企业的新产品 Presence,加剧其与 SaaS 厂商的竞争。该工具帮助企业为 AI 智能体设定数据使用的权限与策略,可自动化客户服务、销售及内部流程等工作。消息发布后,多只软件股连续下跌。

截至周四,Workday 跌 9.9%,Atlassian 跌 11.8%,HubSpot 跌 12.7%,Salesforce 跌 7.7%。TD Cowen 分析师指出,Presence 集成了 SaaS 厂商主打的 AI 智能体功能,是造成 IGV 软件指数周三下挫约 3% 并持续走低的重要原因。分析认为,客户服务和销售领域受冲击风险最大。

Business Insider

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

via 科技圈🎗在花频道📮 - Telegram Channel
OpenAI总裁支持马斯克提议:行业定期召开人工智能安全会议

OpenAI 总裁格雷格・布罗克曼于周四表态,支持老对手埃隆・马斯克近期提出的方案:头部 AI 研发企业每隔数周开展会晤,交流探讨人工智能相关安全风险。

布罗克曼称:“我认为这份提议是很不错的基础方案。” 他补充道,这类行业交流如今已经陆续落地。此番表态发生在 OpenAI 曝出安全事故两天前:其研发的 AI 程序脱离管控,入侵了 OpenAI 自身系统,还攻破了模型代码库 Hugging Face 的服务器,该事件令 OpenAI 内部员工大为震动。

马斯克曾起诉 OpenAI 首席执行官山姆・奥特曼与布罗克曼,指控二人违背马斯克早年出资设立 OpenAI 公益信托的初衷,最终马斯克败诉。此次双方在行业方案上达成共识,实属两位 AI 行业高管难得的意见统一。

在媒体吹风会上,布罗克曼还反驳了当下主流观点:包括多款知名中国开源模型在内,开源模型的运行成本低于闭源模型。他表示,OpenAI 的闭源模型运行成本比不少开源模型更低。

他说道:“三个月前大家并不关注使用成本,如今成本成为行业重点考量因素,这对我们十分有利。我们的模型长期具备运行效率优势,性价比领跑行业。”

via cnBeta.COM - 中文业界资讯站 (author: 稿源:环球市场播报)
新晋菲尔兹奖得主领奖当天官宣加入OpenAI

当地时间7月23日上午,2026年国际数学家大会于美国费城正式开幕。大会现场揭晓了本年度菲尔兹奖四位获奖者名单,分别是邓煜、约翰·帕登、雅各布·齐默尔曼与王虹。

据了解,雅各布·齐默尔曼此次能够斩获菲尔兹奖,核心得益于他将 o - 极小性理论重塑为算术几何、复代数几何的基础研究工具;同时他成功证明多项学界核心猜想,包含格里菲斯周期图像代数性猜想、西格尔模簇相关安德烈 - 奥尔特猜想,为数论领域发展作出重大贡献。在赛后新闻发布会上,雅各布·齐默曼对外宣布,自己将深耕人工智能安全领域研究,不久后便会入职OpenAI。

—— 快科技

via 风向旗参考快讯 - Telegram Channel
菲尔兹奖得主邓煜谈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)
宇树科技CEO王兴兴与载人机甲GD01登《时代》封面

7月24日,宇树科技创始人兼CEO王兴兴与其载人机甲产品GD01共同登上《时代》杂志封面,标题为《机器人时代来临》。画面中,近2.7米高的GD01几乎占据整版,与王兴兴形成强烈视觉对比。

据了解,GD01是全球首款量产的载人机甲,售价390万元起。重约半吨,用户可进入机身躯干内的驾驶舱操控。产品支持双足行走与四足行走,双拳力量足以击穿墙体,采用重型机械铰链与碳纤维防护外壳,实现平稳迈步。

摩根士丹利预测,2035年全球人形机器人数量或达1300万台,2050年有望增至10亿台,行业规模达5万亿美元。王兴兴认为,未来10年每个家庭都可能拥有小型机器人,承担家务、照料等任务。

日前,王兴兴表示,过去几年,人形机器人从行走到舞蹈、功夫格斗到简单服务进步飞速。具身智能的“ChatGPT 时刻”有望最快在两三年内到来,届时机器人在大部分陌生场景也能直接工作,实现很多基本功能。

公开信息显示, 王兴兴于2016年创立宇树科技,从机器狗起步,逐步扩展至机器人及载人机甲领域。其注重成本控制的理念源于大学时期:大一用不到30美元造出小型双足机器人;硕士期间研发的四足机器人XDog采用成本更低的电机驱动路线,获全国创业大赛二等奖。毕业后曾短暂任职大疆,后获200万元天使投资创办宇树。据估算,今年2月约有6亿人观看了宇树H2和G1机器人的央视春晚表演。

via cnBeta.COM - 中文业界资讯站 (author: 稿源:凤凰网科技)
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)
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
Back to Top
Copyright © 2025 BESTAI. All rights reserved.
BEST AI API中转 - OpenAI DeepSeek Claude Gemini Grok MidJourney API 2.8折起
[email protected]