刚获菲尔兹奖,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

相关新闻

HTML5实战:轻松嵌入FLV视频播放技巧

HTML5实战:轻松嵌入FLV视频播放技巧

html没办法直接引入flv格式的视频, 得借助引入一个swf的播放器来播放flv格式的视频 , class id ;type width 这些代码的意思就不用我讲了吧 关于宽, 还有高, 把“视频地址”换成你特有的那个视频地址实际上是播放flv文件的播放器下载地址;此次给大伙带来…

2026/7/25 0:35:51 阅读更多 →
Moneta亿汇:围绕客户支持与工具可用性的要点梳理

Moneta亿汇:围绕客户支持与工具可用性的要点梳理

在外汇行业语境里,表达越清晰、信息越透明,越容易建立稳定预期。在Moneta亿汇的外汇服务中,从公开信息与使用体验出发,梳理其更值得肯定的能力点与细节表现。外汇相关平台的价值,体现在长期一致性与信息呈现的细致程度…

2026/7/25 0:35:51 阅读更多 →
Moneta Markets亿汇:“英特尔供需格局仍偏紧”

Moneta Markets亿汇:“英特尔供需格局仍偏紧”

Yahoo报道整理英特尔二季度电话会要点,公司称客户端和数据中心产品需求超过可用供应,并计划增加资本支出支持未来增长,Moneta Markets亿汇认为,半导体周期仍处于结构性调整阶段。在AI服务器和传统计算需求并行的背景下&#xff0c…

2026/7/25 0:35:51 阅读更多 →

最新新闻

�鸿蒙报错速查:arkts-no-with 禁用 with 语句,用了就炸,根因 + 真解法

�鸿蒙报错速查:arkts-no-with 禁用 with 语句,用了就炸,根因 + 真解法

报错原文 ERROR: 10505001 ArkTS Compiler Error Error Message: "with" statement is not supported (arkts-no-with). At File: xxx.ets:N:N常伴生报错: Error Message: with statements are not allowed in strict mode. Error Message: The with stat…

2026/7/25 0:43:53 阅读更多 →
�鸿蒙报错速查:arkts-no-in 禁用 in 操作符,用了就炸,根因 + 真解法

�鸿蒙报错速查:arkts-no-in 禁用 in 操作符,用了就炸,根因 + 真解法

报错原文 ERROR: 10505001 ArkTS Compiler Error Error Message: "in" operator is not supported (arkts-no-in). At File: xxx.ets:N:N报错触发场景 你写鸿蒙 ArkTS 时,用 in 操作符查对象属性就炸: // ❌ 报错写法 interface UserDatum {na…

2026/7/25 0:43:53 阅读更多 →
域名回购和域名赎回有什么区别?

域名回购和域名赎回有什么区别?

许多企业在域名管理过程中,常常混淆“域名回购”和“域名赎回”这两个概念。虽然都涉及花钱拿回域名,但两者的适用场景、操作方式和成本结构完全不同。域名赎回:域名过期进入赎回期,原持有人向注册商花钱拿回自己名下即将被删除的…

2026/7/25 0:42:53 阅读更多 →
告别Office启动等待:3秒预览Word/Excel/PPT的终极方案

告别Office启动等待:3秒预览Word/Excel/PPT的终极方案

告别Office启动等待:3秒预览Word/Excel/PPT的终极方案 【免费下载链接】QuickLook.Plugin.OfficeViewer-Native View Word, Excel, and PowerPoint files with MS Office and WPS Office components. 项目地址: https://gitcode.com/gh_mirrors/qu/QuickLook.Plug…

2026/7/25 0:41:52 阅读更多 →
免费文档下载神器:跨平台文档获取的终极解决方案

免费文档下载神器:跨平台文档获取的终极解决方案

免费文档下载神器:跨平台文档获取的终极解决方案 【免费下载链接】kill-doc 看到经常有小伙伴们需要下载一些免费文档,但是相关网站浏览体验不好各种广告,各种登录验证,需要很多步骤才能下载文档,该脚本就是为了解决您…

2026/7/25 0:41:52 阅读更多 →
5步掌握Onekey:从Steam游戏解锁到自动化配置实战指南

5步掌握Onekey:从Steam游戏解锁到自动化配置实战指南

5步掌握Onekey:从Steam游戏解锁到自动化配置实战指南 【免费下载链接】Onekey Onekey Steam Depot Manifest Downloader 项目地址: https://gitcode.com/gh_mirrors/one/Onekey Onekey是一款专为Steam平台设计的开源游戏解锁工具,通过自动化流程简…

2026/7/25 0:41:52 阅读更多 →

日新闻

突破文档下载限制:kill-doc让你看到的都能保存

突破文档下载限制:kill-doc让你看到的都能保存

突破文档下载限制:kill-doc让你看到的都能保存 【免费下载链接】kill-doc 看到经常有小伙伴们需要下载一些免费文档,但是相关网站浏览体验不好各种广告,各种登录验证,需要很多步骤才能下载文档,该脚本就是为了解决您的…

2026/7/25 0:00:35 阅读更多 →
C++ string类模拟实现:从深拷贝到内存管理的完整指南

C++ string类模拟实现:从深拷贝到内存管理的完整指南

1. 项目概述:为什么我们要“手撕”string类?在C的学习道路上,尤其是从C语言过渡到C的“初阶”阶段,string类绝对是一个绕不开的核心。标准库里的std::string用起来太方便了,、find、substr,几个操作符和函数…

2026/7/25 0:00:35 阅读更多 →
三角洲寻宝鼠工具:高效文件搜索与资源管理实战指南

三角洲寻宝鼠工具:高效文件搜索与资源管理实战指南

1. 先搞清楚“三角洲寻宝鼠”到底是什么工具从名称来看,“三角洲寻宝鼠”更像是一个资源查找或文件检索类工具,而不是游戏或娱乐软件。这类工具的核心价值在于帮助用户快速定位特定资源,比如文档、图片、压缩包或特定格式的文件。如果你经常需…

2026/7/25 0:00:35 阅读更多 →

周新闻

Go语言静态资源打包方案对比与实践指南

Go语言静态资源打包方案对比与实践指南

1. 项目背景与核心需求在Go语言开发中,我们经常需要处理静态资源文件的打包问题。无论是Web应用的模板文件、前端资源,还是配置文件、证书等,都需要随程序一起分发。传统做法是将这些文件与编译后的二进制文件放在同一目录下,但这…

2026/7/24 3:59:20 阅读更多 →
Go语言实现高性能LDAP认证服务的架构与实践

Go语言实现高性能LDAP认证服务的架构与实践

1. 项目背景与核心价值LDAP(轻量级目录访问协议)作为企业级身份认证的黄金标准,已经服务了超过80%的财富500强公司。我在金融科技领域实施统一认证体系时,发现传统Java方案存在启动慢、内存占用高等痛点。而Go语言凭借其协程并发模…

2026/7/24 1:23:39 阅读更多 →
【AI面试官实战指南】:用ChatGPT模拟10类高频技术岗面试,3天提升应答精准度92%

【AI面试官实战指南】:用ChatGPT模拟10类高频技术岗面试,3天提升应答精准度92%

更多请点击: https://intelliparadigm.com 第一章:AI面试官实战指南的核心价值与适用场景 AI面试官并非替代人类HR的“黑箱工具”,而是以可解释、可审计、可迭代的方式,赋能招聘全链路的关键基础设施。其核心价值在于将主观经验沉…

2026/7/24 18:52:18 阅读更多 →

月新闻