软件先容

kaiyunapp官网使用指南

第一步：导入文件

翻开软件，，，，，，点击"?添加 kaiyunapp官网"按钮，，，，，，从电脑中选择《kaiyunapp官网》文件，，，，，，或直接将其拖拽至软件界面中。。。。。

第二步：设置剖析

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

第三步：最先下载

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

刚拿菲尔兹奖，，，，，，他转头就宣布入职OpenAI，，，，，，kaiyunapp官网

文 | 新质动能

刚拿到菲尔兹奖，，，，，，人转身就入职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深科技。。。。。