数学界一场静默的革命正在硅谷悄然发生，一位顶尖学者放下终身教职，选择与自己曾经的学生共同追逐数学超级智能的梦想。
数学界的传奇人物、弗吉尼亚大学终身教授 Ken Ono，宣布辞去教职，加入了由他24岁前学生 Carina Hong 创立的AI初创公司 Axiom Math。
这一决定源于一次研讨会，在那里他亲眼见证了人工智能在数学研究领域展现出的惊人潜力。
Ken Ono与Axiom Math创始人Carina Hong
跨界的抉择
2024年初，Ken Ono 参加了一场特殊的AI模型测试活动。作为30位受邀数学家之一，他负责用研究级难题考验最新的人工智能系统。
爱穿夏威夷衬衫的Ken Ono在数学界是个极具传奇色彩的人物
离开研讨会时，这位一向自信的数学家内心受到了巨大冲击。
他意识到，自己原本领先于AI的那点优势正在迅速消失，在某些非专长领域，模型甚至已经超越了他。
随后的几个月，Ono 形容自己仿佛在 “哀悼原有的身份”。但很快，他顿悟了：AI展现了另一种做数学的方式。
以往他有同事、研究生、天才本科生作为搭档，现在这些搭档中多了一个新角色——AI。
数学超级智能的推动者
让 Ken Ono 决定追随的年轻人 Carina Hong，履历堪称“逆天”。
在中国广州长大的她很早就展现出数学天赋，从激烈的奥数竞争中脱颖而出，但她真正着迷的是数学研究与发现。
Carina Hong在麻省理工学院
“奥数是一连串的多巴胺刺激，但做研究就是不断撞墙——那是一种痛苦。我喜欢那种痛苦。”Carina 曾如此描述自己对数学的态度。
作为家族第一代大学生，她15岁时就将目标锁定麻省理工学院，仅用3年时间就从MIT毕业。
她不仅获得美国本科数学研究最高奖摩根奖，还拿下享有盛誉的罗德奖学金，赴牛津大学攻读神经科学硕士学位。
在牛津期间，她深入研究深度学习，随后又前往斯坦福攻读法律博士和数学博士。
正是在斯坦福大学附近的咖啡馆，Carina 与Meta前AI科学家 Shubho Sengupta 相遇，两人讨论了将AI与数学结合的想法。
从咖啡馆到6400万美元融资
去年夏天，Carina Hong 做出了一个大胆决定：退学创业。
当 Axiom Math 的种子轮融资一落地，她立即离开斯坦福，全身心投入这家AI数学初创公司。
短短几个月内，Axiom Math 完成了6400万美元的种子轮融资，公司估值达3亿美元，吸引了包括 Shubho Sengupta 在内的前Meta AI研究员加入。
公司名称“Axiom”意为“公理”，即数学中可构筑整套理论体系的基本真理。
Carina Hong 的愿景并非仅仅打造一个能解数学题的AI，而是要创造一位 “AI数学家”——一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的智能系统。
投资方 B Capital 将 Carina Hong 称为 “推动数学超级智能的人”。
她认为数学是打造超级智能的完美试验场，希望 Axiom Math 未来能够攻克困扰人类数百年的难题，甚至提出全新的数学猜想。
不循常规的数学家
Ken Ono 本人的经历同样充满传奇色彩。1968年出生于费城的他，儿时曾迫于父母压力连高中都没念完。
即便如此，他仍考取了芝加哥大学，并在数学家父亲的影响下爱上了数学。多年来，他在威斯康星大学、埃默里大学执教，于2019年前往弗吉尼亚大学担任数学系教授。
美国数学学会前主席 Ken Ribet 认为 Ono 是 “数学界的传奇人物”。
他以对印度数学奇才拉马努金理论的深入研究而闻名，领导过美国顶尖的本科研究项目，培养了10位摩根奖得主，Carina Hong 就是其中之一。
Ono 从不满足于“纸上数学”，而是积极将数学应用于体育与科学传播。
他曾为UVA游泳队和美国奥运金牌选手提供咨询，运用数学分析和建模为精英竞技游泳运动员提供指导；他还出现在米勒淡啤的超级碗广告中，可能是史上唯一一位出现在啤酒广告里的数论学家。
此外，Ono 还参与制作了致敬数学家拉马努金的传记电影《知无涯者》，担任该片的联合制片人兼数学顾问。
《知无涯者》（The Man Who Knew Infinity）电影剧照
数学与AI的融合
对于辞去终身教职，举家搬迁数千公里到硅谷的决定，Ken Ono 表示并非一时冲动。
除了对AI潜力的认识，他也考虑到高等教育环境的变化。随着司法部对高等教育的关注，他担心研究经费可能受到影响。
作为教务长在STEM事务上的顾问，Ono 花费在处理政治相关事务上的时间越来越多，真正做数学的时间却不断减少。
如今，作为 Axiom Math 的第15号员工和创始数学家，Ono 的任务是把公司的AI模型推到极限。
他将设计那些只有真正理解数学原理才能解决的代表性问题，同时制定评估系统表现的基准，帮助模型找到前进方向。
在 Ono 看来，这些工作好比制作航海图：“想要发现新大陆，就要先知道自己在哪儿、哪些地方已经被探索过。”
一场正在发生的革命
Axiom Math 的团队汇聚了人工智能与数学领域的杰出专家，其中许多人来自Meta的FAIR实验室。
核心成员包括因解决百年数学难题而闻名的 Francois Charton，以及代码生成领域深度学习的早期先驱 Hugh Leather。
在Axiom Math，Ono 遇到了许多和他年龄相仿的同事，这家公司吸引这些顶级研究员的，正是它用AI推动数学发现的使命。
尽管AI泡沫令人担忧，但数学家们越来越看好AI可能带来的数学突破潜力。
Google DeepMind 和 OpenAI 的模型在国际数学奥林匹克竞赛夺金，已经让全球数学圈沸腾；由Robinhood CEO Vlad Tenev 联合创办的 Harmonic 也引起关注，Tenev 表示 “数学超级智能正在一点点逼近”。
Ken Ono 现在每天都会花一两个小时与AI一起思考数学问题。“半夜睡不着，我就开着手机跟它们讨论数学，发现它们的水平高得离谱。”
尽管他清醒地认识到：“即便抵达超级智能，仍会有数学问题无解”，但这并不妨碍他继续寻找答案的渴望。
正是这种持续探索的精神，让他与众多顶尖研究者一起，在Axiom Math寻找属于自己的 “传世之作”。
在硅谷这间初创公司里，一位传奇数学家与他的天才学生正携手，试图用人工智能重新定义数学发现的可能性。这场静默的革命，或许将改变人类理解数学的方式。
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)