刚获菲尔兹奖,Ta转身就跳槽OpenAI Jacob Tsimerman宣布加入OpenAI,从事AI安全的工作 刚获菲尔兹奖Ta转身就跳槽OpenAIASI启示录 ASI启示录 新智元2026年7月24日 12:33北京新智元报道昨日2026年国际数学家大会ICM正式官宣邓煜、John Pardon、Jacob Tsimerman、王虹共享本年度菲尔兹奖直播截图前排从左至右邓煜、John Pardon、Jacob Tsimerman、王虹菲尔兹奖一下出现了两个中国籍数学家——王虹、邓煜一举在菲尔兹奖90年历史中实现了中国国籍数学家人数从0到2的突破消息传来国内一夜刷屏。而且中国籍数学家王虹、邓煜同为北大2007级本科校友北京大学成为中国目前唯一的「双菲院校」。此外另一位获奖者John Pardon精通汉语在国际中文辩论赛、「汉语桥」世界大学生文化比赛中大秀汉语。Jacob Tsimerman成了本届菲尔兹得主中唯一一个还不会讲汉语的数学家。更具戏剧性的是在获奖后的新闻发布上他突然官宣转行。在问及下一步计划时Jacob Tsimerman宣布加入OpenAI从事AI安全的工作接下来我已经开始将我的职业生涯转向AI安全领域利用数学来服务于安全及其他方面。……我很快将在OpenAI的安全部门开始一个新职位。2年AI将在数学上彻底超越人类Tsimerman因彻底解决「安德烈-奥尔特猜想」André-Oort Conjecture等算术几何难题获奖——那是代数几何皇冠上的明珠几代数学家都啃不动的硬骨头。他还是第一位在加拿大本土机构完成这一成就的获奖者。换句话说他现在正处于数学研究的黄金期。而现在他亲手掐断了自己的学术传承不再招研究生宣布转行。他的理由是他不愿再训练年轻人投身一个可能几年内就不复存在的职业。Tsimerman直言「我担心这个领域正处于危险之中」。他给出了吓人的时间表——2年之内AI将在所有数学证明领域彻底超越人类。也就是2028年前后。「我担心这个领域正处于危险之中」。这不是外行的臆测。Tsimerman自己就体验过AI已经把他的科研生产力提高了一倍——起初只是帮他加速那些无聊、机械的部分。但很快他意识到AI正在从一个「好用的计算器」变成一个「思考的同行」。从去年底到今年各大实验室的推理模型接连在IMO乃至前沿猜想验证上撕开口子。人们曾以为「定理证明」是不容一粒沙子的人类护城河如今这条护城河正在迅速归零。原因并不复杂。纯数学的本质是在极度抽象的符号空间里搜索结构性真理——而这种搜索在万卡集群和强化学习的加持下正是AI最擅长的游戏。人类大脑几十年沉淀出的「数学直觉」在近乎无限的算力面前可能只是一种效率极低的生物突触组合。他还算过一笔更冷的账现在入学的博士生2030年毕业时他们的导师——哪怕是菲尔兹奖得主——在AGI面前也已失去速度与深度上的比较优势。所以不如不招。当外行人还在推测今年是最后一届颁给人类的菲尔兹奖刚获菲尔兹奖的Jacob Tsimerman已经行动了。参考资料https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/https://www.youtube.com/live/2dr2F2NVUkY

相关新闻

最新新闻

SerenityOS 命令行选项解析指南:getopt 与 getopt_long 用法、返回值与底层实现

SerenityOS 命令行选项解析指南:getopt 与 getopt_long 用法、返回值与底层实现

SerenityOS 命令行选项解析指南:getopt 与 getopt_long 用法、返回值与底层实现 【免费下载链接】serenity The Serenity Operating System 🐞 项目地址: https://gitcode.com/GitHub_Trending/se/serenity 导读 本文以 getopt(3) 手册 为核心&a…

2026/10/1 19:32:24
轻量服务器还是ECS?大促云服务器选购与避坑实战指南

轻量服务器还是ECS?大促云服务器选购与避坑实战指南

每年大促节点,群里永远有人在问同一个问题:“38元的轻量服务器到底怎么抢?为什么我每次点进去都是已售罄?68元直购和99元的ECS我到底选哪个?”作为一个常年帮团队和自己采购云服务器的老用户,我太清楚这种纠…

2026/9/30 21:32:07
为 AI 代理的 Review 动作编写 Cedar 审批门控策略:review-agent-governance 策略编写实战指南

为 AI 代理的 Review 动作编写 Cedar 审批门控策略:review-agent-governance 策略编写实战指南

为 AI 代理的 Review 动作编写 Cedar 审批门控策略:review-agent-governance 策略编写实战指南 【免费下载链接】agents Multi-harness agentic plugin marketplace for Claude Code, Codex, Cursor, OpenCode, GitHub Copilot, and Google Antigravity 项目地址:…

2026/9/30 19:41:56
PaddleOCR 手写数学公式识别算法 CAN 实战指南:Counting-Aware Network 训练、评估与推理部署

PaddleOCR 手写数学公式识别算法 CAN 实战指南:Counting-Aware Network 训练、评估与推理部署

PaddleOCR 手写数学公式识别算法 CAN 实战指南:Counting-Aware Network 训练、评估与推理部署 【免费下载链接】PaddleOCR Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between i…

2026/10/1 19:32:23
Spring源码解析:构造器注入的类型转换与候选匹配机制

Spring源码解析:构造器注入的类型转换与候选匹配机制

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/1 19:32:35
openai-agents-python 多模型接入指南:深入解析 AnyLLMModel 适配层与 any-llm 路由

openai-agents-python 多模型接入指南:深入解析 AnyLLMModel 适配层与 any-llm 路由

openai-agents-python 多模型接入指南:深入解析 AnyLLMModel 适配层与 any-llm 路由 【免费下载链接】openai-agents-python A lightweight, powerful framework for multi-agent workflows 项目地址: https://gitcode.com/GitHub_Trending/op/openai-agents-pyth…

2026/9/30 21:32:11

日新闻

周新闻

月新闻