软件先容

半糖七彩平台使用指南

第一步：导入文件

翻开软件，
，点击"?添加 半糖七彩平台"按钮，
，从电脑中选择《半糖七彩平台》文件，
，或直接将其拖拽至软件界面中。。

第二步：设置剖析

软件会自动识别并剖析导入的文件，
，您可凭证界面提醒选择所需的生涯路径或下载名堂。。

第三步：最先下载

确认无误后，
，点击"最先下载/处理"按钮。。期待进度条读取完毕，
，即可在设定的文件夹中审查下载好的正版文件。。

刚拿菲尔兹奖，
，他转头就宣布入职OpenAI，
，半糖七彩平台

文 | 新质动能

刚拿到菲尔兹奖，
，人转身就入职OpenAI。。

外地时间7月23日，
，2026年国际数学家大会在美国费城开幕，
，现场揭晓2026年菲尔兹奖得主。。菲尔兹奖被称为“数学界的诺贝尔奖”，
，四年只评一次，
，每次最多四人获奖，
，是许大都学家一生的追求。。

得主之一Jacob Tsimerman领完奖，
，在记者会上被问及接下来的妄想，
，他直接摊牌：很快就要入职OpenAI，
，偏向是AI清静。。

“我以为天下正在改变，
，我们现在所熟知的数学职业，
，我不以为它还会以现在这个样子保存下去了。。”Jacob直言。。

并且更让人意外的是，
，Jacob并不是对AI盲目乐观的手艺派，
，恰恰相反，
，他曾专门写过一篇论文，
，给“AI怎样导致人类灭绝”建了一套分类学。。他的X账号从2014年注册至今，
，十几年里只发过一条帖子，
，主题是数学家将怎样失业。。现在，
，他却成了第一个“失业”的数学家，
，还自动走进了AI公司的大门。。

一个曾研究“AI怎样导致人类灭绝”的数学家，
，为什么最终走进了AI公司？？

Jacob的选择，
，并不但仅是一次个人职业转向，
，更折射出一个正在爆发的转变：越来越多天下顶尖学者，
，最先脱离大学和研究机构，
，走向AI工业。。

一、奥数满分选手，
，转身走进OpenAI

能拿到菲尔兹奖，
，Jacob Tsimerman也不是一般人。。Jacob Tsimerman，
，1988年出生于俄罗斯喀山，
，随家人先移居以色列，
，后落脚加拿大。。

他的先天很快就展现出来。。2003年和2004年，
，Jacob一连两届代表加拿大出战国际数学奥林匹克竞赛（IMO），
，拿下两块金牌，
，2004年还拿了满分。。

Jacob16岁时，
，进入多伦多大学读数学，
，两年就读完了本科；；2011年在普林斯顿大学拿下博士学位后，
，去哈佛大学的Society of Fellows镀了一层金，
，Jacob再次回到多伦多大学任教，
，成为该校数学系历史上最年轻的正教授。。

这次拿下菲尔兹奖，
，表扬的是Jacob在André-Oort意料上的证实事情。。这是算术几何领域的焦点难题之一，
，此前悬置了近40年。。依附这项效果，
，他也成为首位在加拿大高校任职时代摘得菲尔兹奖的数学家。。

按常理，
，拥有这样一份履历的人，
，应该站在领奖台上谢谢师长、展望学科的未来，
，然后回到校园里继续带学生、钻研学术，
，但Jacob选择了另一条路。。

就在领奖后的记者会上，
，Jacob宣布自己很快将加入OpenAI，
，研究AI清静。。新闻一出，
，很快就在数学界和AI圈同时引发热议。。

OpenAI方的反映堪称迅速，
，清静研究员、哈释教授Boaz Barak第一时间发推，
，体现“深感谦卑”地接待Jacob加入，
，一起做AI清静；；微软前副总裁、现OpenAI成员Sebastien Bubeck也随着亮相，
，接待Jacob入队。。

随着讨论一直发酵，
，人们重新翻看Jacob已往的果真表达，
，才发明这次决议着实早已有？？裳。。

在Jacob在X上的唯逐一条帖子里，
，他讨论了一个问题：“解决问题”这件事，
，在数学研究里究竟占多大分量？？他的谜底是：险些所有。。

Jacob提到，
，自己险些所有时间都在解决问题，
，而一旦有人解决了他所在的研究领域里焦点意料的一般形式，
，“我的整个主要研究领域，
，就会消逝”。。

在已往，
，能解开这种意料的，
，或许率只会是另一位数学家，
，而这种事百年难堪一遇；；而现在，
，解题者却很可能只是一个AI模子，
，像这样的新闻已屡见不鲜。。Jacob甚至在采访中给出了时间表：两年内，
，AI在证实定理这件事上，
，可能会比人类数学家更强。。

Jacob并不是站在AI之外做判断，
，而是险些天天都在使用AI辅助科研。。他透露，
，AI工具已经让自己的科研效率翻了一倍。。2025年间，
，Jacob往arXiv上传了5篇数学论文，
，日常研究流程险些已经离不开ChatGPT和Claude：先让AI资助梳理问题界线、检索相关文献，
，再实验天生证实思绪。。

“它给的证实通常是错的，
，但通常能把准确偏向的要领拉出来，
，帮我走完80%，
，剩下我再自己收尾。。”

也正由于天天在用AI辅助研究，
，Jacob对AI能力的判断，
，也比许多偕行越发激进。。在他看来，
，不少数学家保存一种“自我慰藉”式的心理，
，看到AI眼下还比不过人类数学家，
，就想虽然地以为它永远都比不过。。

“AI两年内凌驾数学家”，
，在Jacob看来照旧相对温顺的判断。。他更真实的看法是：“我以为AI有相当大的可能导致人类灭绝。。”

这并不是一句随口玩笑，
，2025年，
，Jacob在arXiv上传的第六篇文章不再是数学论文，
，而是一篇题为《涉及AI的灭绝性未来的分类》的研究，
，相助者是恒久研究AI清静的Andrew Critch。。

既然云云担心，
，为什么还要自动加入一家AI公司？？Jacob的回覆很直接：他支持暂停AI的生长，
，但并不以为这件事真的会爆发。。既然无法阻止手艺继续前进，
，那么与其站在门外品评，
，不如走进其中，
，真正明确它、影响它。。

也正因此，
，他最终选择加入OpenAI，
，并且明确投身AI清静研究。。这看似矛盾的决议，
，在他的逻辑里反而是一种必定。。

二、57岁数论学家，
，为24岁学生“打工”

比Jacob更早做出类似选择的，
，是美国数论学家小野。。↘en Ono）。。

2025年底，
，57岁的小野健辞去弗吉尼亚大学终身教授职位，
，加入自己昔日学生洪乐潼开办的AI数学公司Axiom Math，
，成为公司第15号员工，
，担当“首创数学家”。。他的事情不是写代码，
，而是给AI设计数学难题、测试模子的推理能力极限。。

小野健在数学界职位举足轻重。。他是美国数学会会士，
，也是国际着名的剖析数论学者，
，恒久活跃于国际数学研究前沿。。而他的前学生、现老板洪乐潼，
，比他年轻整整33岁。。

两人的缘分始于麻省理工学院。。洪乐潼本科时代曾加入小野健主持的数论研究项目，
，几年后，
，她从斯坦福大学数学与法学双博士项目退学创业，
，开办Axiom Math。。公司建设不久便完成6400万美元融资，
，并陆续吸引了一批AI研究员和数学家加入，
，其中就包括她一经的导师小野健。。

促使小野健加入的契机，
，是2023年加入的一场AI数学钻研会。。在现场，
，小野健亲眼见证，
，AI已经能够解决许多自己不熟悉的数学分支问题，
，这让他第一次意识到，
，AI带来的转变已经不但是辅助盘算，
，而是在最先加入真正的数学研究。。

这也正是洪乐潼开办Axiom Math想要做的事。。Axiom Math建设于2024年，
，目的并不是开发一个通俗谈天机械人，
，而是打造能够像数学家一样举行推理、提出意料并完成证实的“AI数学家”。。

公司自主研发的Axiom Prover推出后，
，仅用4个月便一连攻克两道悬置数十年的数学问题。。其中一道实现了全流程自动形式化证实，
，全程无需人工干预；；另一道效果则对OpenAI此前宣布的一项数学效果提出了差别结论，
，引发学界关注。。

无论是加入OpenAI的Jacob，
，照旧加盟Axiom Math的小野健，
，他们的配合选择都说明晰一件事：AI公司争取的，
，已经不但是工程师，
，而是能够推动基础研究的数学家。。

三、AI公司为何争抢数学家？？

近两年，
，从OpenAI、Anthropic、Google DeepMind这样的大型AI公司，
，到Axiom Math、Harmonic这类专注数学AI的新创企业，
，都最先自动招募数学家，
，而不但仅是古板意义上的算法工程师。。

去年建设的AI创业公司Logical Intelligence，
，就是一个典范的例子。。这家公司建设时间不过一年，
，却请来了图灵奖得主杨立昆担当手艺研究委员会主席，
，菲尔兹奖得主Michael Freedman担当首席数学官，
，认真数学偏向的研究。。

一家建设仅一年的创业公司，
，能够同时群集图灵奖和菲尔兹奖得主，
，自己就说明晰一件事：顶尖数学家，
，已经成为AI行业最抢手的人才之一。。

为什么AI公司最先抢数学家？？

随着大模子进入推理时代，
，数学能力正在成为权衡模子智能水平的主要指标。。从数学证实到形式化推理，
，再到重大问题求解，
，越来越多能力已经无法纯粹依赖工程优化完成，
，而需要数学家直接加入模子训练、测试和评估。。

例如，
，OpenAI支持建设的数学能力测试集FrontierMath，
，就是由约40位职业数学家配合设计，
，问题险些所有抵达科研级难度，
，其中便包括小野健等人加入出题。。

已往，
，数学家主要为学术偕行提出问题；；现在，
，他们最先为AI提出问题。。

就在Jacob获得菲尔兹奖前几天，
，Anthropic数学家Levent Alp?ge借助Claude发明了雅可比意料的一组反例，
，并迅速完成验证，
，引发数学界普遍讨论。。巧合的是，
，Levent Alp?ge本科时期的导师正是Jacob。。

从导师获得菲尔兹奖，
，到学生进入AI公司开展数学研究，
，再到越来越大都学家直接加入AI模子训练和评估，
，这条人才流动路径已经越来越清晰。。

已往，
，顶尖数学家的舞台主要属于大学、研究所和国际数学大会。。现在天，
，他们越来越频仍地泛起在OpenAI、Anthropic、Google DeepMind，
，以及一家家AI创业公司的办公室里。。

这场转变背后，
，并不是学术正在脱离数学，
，而是AI的生长，
，第一次让最前沿的数学研究直接进入了工业竞争。。

参考资料：

《刚拿菲尔兹奖，
，他就宣布加入OpenAI》，
，量子位；；《刚拿完菲尔兹奖，
，他扭头加盟OpenAI》，
，APPSO；；《菲尔兹奖没有意外！两位中国籍数学家创立历史》，
，返朴；；《重磅！Fable 5证实雅可比意料过失？？Anthropic研究员宣布惊人数学发明》，
，AI寒武纪；；《当57岁"数学传奇"决议为24岁"天才少女"的AI项目打工》，
，钛媒体；；《广州数学天才少女，
，斯坦福辍学创业，
，25岁拿下超14亿融资，
，公司估值110亿》，
，21世纪商业谈论；；《图灵奖得主杨立昆、菲尔兹奖得主Freedman同时加盟，
，全球首家能量模子商业化公司降生》，
，KIK DeepTech深科技。。