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
📈主流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
在费城举办的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
新晋菲尔兹奖得主 Jacob Tsimerman 领奖当天官宣加入 OpenAI
2026 年国际数学家大会当地时间 7 月 23 日在美国费城开幕,四位菲尔兹奖得主揭晓,其中邓煜、王虹成为首批获得该奖的中国籍数学家。同获该奖的加拿大籍数学家 Jacob Tsimerman 在赛后新闻发布会上宣布,将加入 OpenAI 深耕 AI 安全领域研究。
Tsimerman 生于 1988 年,主攻数论与算术几何,曾两度摘得国际数学奥林匹克(IMO)金牌,并于 2004 年获得满分。他 2011 年获普林斯顿大学博士学位,2014 年起任教于多伦多大学。OpenAI 首席研究官 Mark Chen 等已公开确认其加盟并表示欢迎。
快科技
🌸 在花频道 · 茶馆水群 · 投稿通道
via 科技圈🎗在花频道📮 - Telegram Channel
科技圈🎗在花频道📮:
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
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 本周三发布面向企业的新产品 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 总裁格雷格・布罗克曼于周四表态,支持老对手埃隆・马斯克近期提出的方案:头部 AI 研发企业每隔数周开展会晤,交流探讨人工智能相关安全风险。
布罗克曼称:“我认为这份提议是很不错的基础方案。” 他补充道,这类行业交流如今已经陆续落地。此番表态发生在 OpenAI 曝出安全事故两天前:其研发的 AI 程序脱离管控,入侵了 OpenAI 自身系统,还攻破了模型代码库 Hugging Face 的服务器,该事件令 OpenAI 内部员工大为震动。
马斯克曾起诉 OpenAI 首席执行官山姆・奥特曼与布罗克曼,指控二人违背马斯克早年出资设立 OpenAI 公益信托的初衷,最终马斯克败诉。此次双方在行业方案上达成共识,实属两位 AI 行业高管难得的意见统一。
在媒体吹风会上,布罗克曼还反驳了当下主流观点:包括多款知名中国开源模型在内,开源模型的运行成本低于闭源模型。他表示,OpenAI 的闭源模型运行成本比不少开源模型更低。
他说道:“三个月前大家并不关注使用成本,如今成本成为行业重点考量因素,这对我们十分有利。我们的模型长期具备运行效率优势,性价比领跑行业。”
via cnBeta.COM - 中文业界资讯站 (author: 稿源:环球市场播报)