超级详细凯发天生赢家一触即发(中国)百度百科

　　【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职ღ◈★，加入了自己学生Carina Hong创办的Axiom Mathღ◈★，打造「AI数学家」ღ◈★。促使他做出这一决定的凯发k8国际ღ◈★，只因他在一次研讨会上看到了AI在数学研究上的无限可能凯发k8国际ღ◈★。

　　刚刚人工学院修改器ღ◈★，57岁的数学教授Ken Ono宣布辞去终身教职ღ◈★，跟随自己24岁的学生Carina Hong追逐「数学超级智能」ღ◈★。

　　Ken Ono是目前全球最杰出的数学家之一ღ◈★，对于在弗吉尼亚大学执教的他来说ღ◈★，硅谷AI初创公司好比另一个世界ღ◈★。

　　前不久ღ◈★，他还在讲座时调侃AI技术的「神话」ღ◈★，称自己是NI（Naturally Intelligentღ◈★，天生智能）ღ◈★。

　　2024年ღ◈★，仍在斯坦福大学攻读博士的Carina Hongღ◈★，在学校附近的一间咖啡馆中萌生了创办Axiom Math的想法ღ◈★。

　　Carina Hong在中国广州长大ღ◈★，她在很小的时候就发现了自己对数学的热爱ღ◈★，她曾接受过奥数训练人工学院修改器ღ◈★，并从激烈的竞争中脱颖而出ღ◈★。

　　作为家族中第一代大学生ღ◈★，Carina Hong大概在十四五岁的时候ღ◈★，就已经把目标锁定了麻省理工学院（MIT）ღ◈★。

　　因此ღ◈★，从MIT毕业后ღ◈★，她放弃了做对冲基金量化交易员的机会ღ◈★，选择了前往牛津大学攻读神经科学硕士学位ღ◈★。

　　正是在斯坦福大学附近的咖啡馆ღ◈★，她结识了Meta的前AI科学家Shubho Senguptaღ◈★。

　　随后一段时间内ღ◈★，Carina Hong时常想起AMD的CEO苏姿丰对学生的建议ღ◈★：奔向最难的问题凯发k8国际ღ◈★。

　　于是去年夏天ღ◈★，等Axiom Math的种子轮融资一落地ღ◈★，Carina Hong立刻退学创业ღ◈★。

　　Carina Hong的想法是打造一款「AI数学家」ღ◈★，这是一个能够推理已有问题凯发k8国际ღ◈★、发现新问题ღ◈★，并用形式化证明验证自己工作的AI系统ღ◈★，而不仅仅是给出答案ღ◈★。

　　Carina Hong认为数学是打造超级智能的完美试验场ღ◈★，她希望Axiom Math未来能够攻克一些困扰人类数百年的难题ღ◈★，甚至能够提出全新的数学猜想ღ◈★。

　　毕业后Ken Ono在威斯康星大学ღ◈★、埃默里大学执教多年ღ◈★，并于2019年前往弗吉尼亚大学担任数学系教授ღ◈★。

　　Ken Ono以对印度数学奇才拉马努金（Srinivasa Ramanujan）理论的深入研究而闻名ღ◈★，还带领了美国顶尖的本科研究项目ღ◈★，培养过10位Morgan Prize得主ღ◈★，Carina Hong就是其中的一位ღ◈★。

　　他也许是史上唯一一个出现在啤酒广告里的数论学家ღ◈★，出演了米勒淡啤（Miller Lite）的超级碗广告ღ◈★。

　　他曾为UVA游泳队和美国奥运金牌选手提供咨询ღ◈★，运用数学分析和建模为精英竞技游泳运动员提供指导ღ◈★。

　　Ken Ono还参与制作一部了致敬数学家拉马努金的传记电影《知无涯者》ღ◈★，任该电影的联合制片人兼数学顾问凯发k8国际ღ◈★。

　　对于他来说ღ◈★，辞掉终身教职ღ◈★，举家搬到数千公里外的硅谷ღ◈★，加入一家初创的AI公司ღ◈★，并不是一个十分令人意外的选择凯发k8国际ღ◈★。

　　他发现AI在认知任务ღ◈★、解决已知问题上表现惊人ღ◈★，但一旦涉及需要直觉与抽象思维的创造力部分ღ◈★，比如在纯数学领域仍显得笨拙ღ◈★。

　　当时的他受邀参加一次测试AI模型的活动ღ◈★，作为参与这次活动的30位数学家之一ღ◈★，他们需要提出研究级难题来考验AI模型ღ◈★。

　　作为教务长在STEM事务上的顾问ღ◈★，Ken Ono花在处理政治相关事务上的时间也越来越多ღ◈★，做数学的时间却越来越少ღ◈★。

　　做出了投身AI的决定之后ღ◈★，Ken Ono立刻就想到了Carina Hong人工学院修改器ღ◈★，她是Ken Ono在2020年本科研究项目的学生ღ◈★。

　　Axiom Math创办几天后ღ◈★，Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛夺金ღ◈★，令全球数学圈沸腾人工学院修改器凯发k8国际ღ◈★。

　　为了确立自己的竞争优势ღ◈★，Carina Hong迅速组建了一支由杰出的人工智能与数学专家组成的团队ღ◈★，其中许多人来自Meta的FAIR实验室人工学院修改器ღ◈★。

　　核心成员包括Francois Charton人工学院修改器ღ◈★，他因解决了一个百年数学难题而闻名ღ◈★；Hugh Leatherღ◈★，是代码生成领域深度学习的早期先驱之一ღ◈★。

　　随后ღ◈★，Ken Ono带着妻子举家搬到数千公里外的硅谷ღ◈★，正式成为Axiom Math的第15名员工ღ◈★，担任创始数学家ღ◈★。

　　他会设计那些只有真正理解数学原理才能解决的代表性问题ღ◈★，同时制定评估系统表现的基准ღ◈★，帮助模型找到前进方向ღ◈★。

　　Ken Ono认为人工学院修改器ღ◈★，这些工作好比制作航海图ღ◈★，想要发现新大陆ღ◈★，就要先知道自己在哪儿ღ◈★、哪些地方已经被探索过ღ◈★。

　　Carina Hong表示ღ◈★，Ken Ono是许多数学学生的偶像ღ◈★，他在Axiom Math遇到了许多和他年龄相仿的同事ღ◈★。

　　正是这种持续探索的渴望ღ◈★，让他与很多其他顶尖的研究者一起人工学院修改器ღ◈★，在Axiom Math寻找自己的「传世之作」ღ◈★。凯发k8一触即发凯发k8国际appღ◈★，k8凯发天生赢家一触即发ღ◈★，