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