【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，参加了自己学生Carina Hong兴办的Axiom Math，打造「AI数学家」。促进他做出这一决议的，只因他在一次研讨会上看到了AI在数学研讨上的无限或许。

  刚刚，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苏姿丰对学生的主张：奔向最难的问题。

  所以上一年夏天，等Axiom Math的种子轮融资一落地，Carina Hong马上退学创业。

  Carina Hong的主意是打造一款「AI数学家」，这是一个可以推理已有问题、发现新问题，并用形式化证明验证自己作业的AI体系，而不单单是给出答案。

  Carina Hong以为数学是打造超级智能的完美试验场，她期望Axiom Math未来可以霸占一些困扰人类数百年的难题，乃至可以提出全新的数学猜测。

  虽然AI泡沫令人担忧，但数学家们却越来越看好AI能带来数学打破的潜力。

  与自己的天才学生Carina Hong相同，Ken Ono的阅历相同可谓传奇。

  1968年，Ken Ono出生于费城，儿时迫于爸爸妈妈压力的苦楚，他连高中都没念完。

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

  美国数学学会前主席Ken Ribet以为Ken Ono是数学界的传奇人物。

  Ken Ono以对印度数学奇才拉马努金（Srinivasa Ramanujan）理论的深入研讨而出名，还带领了美国顶尖的本科研讨项目，培育过10位Morgan Prize得主，Carina Hong便是这儿面的一位。

  不满足于「纸上数学」，Ken Ono还积极地将数学应用于体育与科学传达。

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

  他曾为UVA游水队和美国奥运金牌选手供给咨询，运用数学分析和建模为精英竞技游水运动员供给辅导。

  Ken Ono还参加制造一部了问候数学家拉马努金的列传电影《知无涯者》，任该电影的联合制片人兼数学参谋。

  比照这些阅历，你会发现Ken Ono是一个不断寻求破界、勇于打破常规的人。

  关于他来说，辞掉终身教职，举家搬到数千公里外的硅谷，参加一家草创的AI公司，并不是一个非常令人意外的挑选。

  他发现AI在认知任务、处理已知问题上体现惊人，但一旦触及需求直觉与抽象思维的创造力部分，比如在纯数学范畴仍显得蠢笨。

  其时的他受邀参加一次测验AI模型的活动，作为参加这次活动的30位数学家之一，他们要提出研讨级难题来检测AI模型。

  以往他一向有伙伴、研讨生、天才本科生作为伙伴，现在这些伙伴之中又多了一个新人物——AI。

  作为教务长在STEM业务上的参谋，Ken Ono花在处理政治相关业务上的时刻也渐渐变得多，做数学的时刻却越来越少。

  「我很走运能去参加改动世界运作方法的作业，作为纯数学家，这是很少有的时机。」

  做出了投身AI的决议之后，Ken Ono马上就想到了Carina Hong，她是Ken Ono在2020年本科研讨项目的学生。

  Axiom Math兴办几天后，Google DeepMind和OpenAI的模型在世界数学奥林匹克比赛夺金，令全球数学圈欢腾。

  为了建立自己的比赛优势，Carina Hong敏捷组建了一支由出色的AI与数学专家组成的团队，其间许多人来自Meta的FAIR实验室。

  核心成员包含Francois Charton，他因处理了一个百年数学难题而出名；Hugh Leather，是代码生成范畴深度学习的前期前驱之一。

  Axiom Math的招募活动在硅谷引起轰动，也招引了Ken Ono的留意。

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

  他会规划那些只要真实了解数学原理才干处理的代表性问题，一同拟定评价体系体现的基准，协助模型找到前进方向。

  Ken Ono以为，这些作业比如制造航海图，想要发现新大陆，就要先清楚自己在哪儿、哪些地方现已被探究过。

  Carina Hong表明，Ken Ono是许多数学学生的偶像，他在Axiom Math遇到了许多和他年纪相仿的伙伴。

  Axiom Math招引这些尖端AI研讨员的，正是它的任务——用AI推进数学发现。

  「即使抵达超级智能，仍会有数学问题无解」，Ken Ono说，但他还会继续寻觅答案。

  正是这种继续探究的巴望，让他与许多其他顶尖的研讨者一同，在Axiom Math寻觅自己的「传世之作」。

  特别声明：以上内容(如有图片或视频亦包含在内)为自媒体渠道“网易号”用户上传并发布，本渠道仅供给信息存储服务。

  5年Model Y完结107次OTA晋级，特斯拉车主：每天都像在开新车

  《》丨托马斯·弗里德曼：特朗普对暗斗毫无爱好。他想要文明的战役

  日本记者寻衅：南京30万你们数了？李连杰当场反诘一句，他立马闭嘴，提到了日本至今都抬不起头的7万女性公案

  苹果向AirPods Pro 2/3发布新固件，iOS 26.2正式版行将到来！

  目光和动作里满是对食物的巴望！ 小女子手势一变，瞬间抓一大把芝麻塞嘴里！#睡个好觉

  今日热点：迪士尼OpenAI协作；JENNIE和DEX将出演新综艺……