最近，《华尔街日报》刊登了一篇报道，在数学界和AI界引发轰动：

被誉为世界上最杰出数学家之一的小野肯（Ken Ono）宣布辞去弗吉尼亚大学的终身教授职位，前往硅谷，全职加入AI初创公司——Axiom Math。

吸引他的这家公司，也不是等闲之辈，而是自己学生创办的硅谷新贵——几个月前，Axiom Math凭借0产品0用户就实现了3亿美元估值，而今年10月，Axiom Math又正式完成首轮约4.6亿人民币融资，公司投后估值达20亿人民币。

而小野肯的这位昔日学生，未来的老板，是年仅24岁、天赋异禀、履历炸裂到不真实的的潮汕00后天才少女洪乐潼（Carina Letong Hong）。

最不可能做AI的人做AI了

小野肯教授

据了解，现年57岁的小野肯教授，是在美国日本裔学者，一名解析数论、模形式等领域的权威学者，在数学界享有崇高声誉。他推动并扩展了拉马努金的分拆理论，合作证明了大量关于分拆函数的新等式、母函数、模形式结构，包括拉马努金同余式到影月光猜想；他的数学成就横跨 Ramanujan研究、数论、Moonshine 理论等超级深水区，好莱坞、奥运会都找他做数学顾问。

2024年9月，他还在PNAS（美国国家科学院院刊）上合作发表了一篇关于罗杰斯-拉马努金恒等式的应用论文，并将其用于检测质数。为此他还一度被誉为“继承拉马努金精神的现代数学家之一”。

另外作为美国数学学会（AMS）会士的他长期在美国名校任教，拥有弗吉尼亚大学终身教职，领导了全国顶尖的精英本科生研究项目，并陆续指导出数十位摩根奖获得者。

而在此之前，这位世界级的顶尖数学家还是一位“老古板”，对于加入硅谷AI初创公司这件事还并不感冒，甚至他对整个AI领域都持怀疑态度。

直到去年春天，他受邀参加了一个专为AI模型测试编纂研究级数学问题的研讨会。看完这个AI数学模型测试后，这个被誉为“数学界的巨人”的教授，第一次感受到知识的天花板正在被 AI 重写。他甚至陷入了一段深度的“身份丧失”：“如果 AI 连这都能做，那我还能做什么？”

于是，他做出一个震动整个数学界的决定：离开学术界，加入AI数学领域的最前线。

世界级顶尖数学家辞职给自己的学生打工

更戏剧的是：小野肯加入的这家公司，叫 Axiom Math，这家公司的创始人是年仅24的洪乐潼，而洪乐潼还是他的学生。

小野肯和洪乐潼

据了解，Axiom Math由洪乐潼创办于2025年3月，是一家定位于“数学AI”的创业公司，核心目标是打造能解决实际数学问题的人工智能系统。

这家崭露头角的AI公司旨在为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案。具体来看就是，Axiom的AI系统通过学习严格的逻辑推理和数学证明的过程，能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。借助Axiom，金融机构可无需耗费大量人力搭建庞大技术团队，直接利用AI解决投资和股市中的复杂数学难题。这种“数学即服务”的模式，契合了当前金融市场对高效智能化技术的强烈需求。这种创新的技术理念使得Axiom在众多AI初创公司中脱颖而出，也与小野肯的目标不谋而合。

值得注意的是，Axiom这家新兴的AI公司只有10余名全职人员，但却挖走了一大批顶尖AI和数学界专家，除了小野肯，其中著名的还有前Meta研究员François Charton，他曾让Transformer模型解常微分方程(ODE)与偏微分方程(PDE)，这项研究后来也被视作让神经网络理解数学结构的先驱成果。

Axiom核心员工中大多数来自Meta

今年6月，尚未推出任何产品，0产品，0用户的Axiom就实现了3亿美元估值，投资人中也不乏B Capital这类顶级VC；今年10月，成立不足1年的Axiom又从顶尖基金那里拿到 6400 万美元融资，公司投后估值达20亿人民币。

最近，Axiom在数学界表现亮眼，一举解决了。

据悉，小野肯将成为Axiom的第15位员工，职位是创始数学家。

他主要的工作是推动内部AI模型达到性能极限，通过设计出只有深度理解数学原理才能够解决的数学问题，以及制定衡量系统性能的基准，指导模型优化。

一路开挂的00后潮汕天才少女

那么，让小野肯这位顶尖数学家愿意“下凡打工”的女孩，到底有多厉害？

Axiom公司创办人洪乐潼图片来源：麻省理工学院

据报道，洪乐潼出生于中国广州，父母是土生土长的潮汕人。

尽管父母未接受高等教育，但洪乐潼自幼却展现超凡的出数学天赋。她高中就读于广东名校华南师大附中，成为广东省奥数队四名女生之一，在“华罗庚金杯”、全国高中数学联赛等多项顶级竞赛中屡创佳绩。

2019年，她进入麻省理工学院，攻读数学与物理双学位，仅用三年就完成了所有课程，还额外修读了20门硕博级别的高阶课程。

本科阶段，她就已经在数论、组合数学等专业领域发表多篇高质量论文。

小野肯和洪乐潼

值得一提的是，也是在麻省理工学院时期，还是大一新生的洪乐潼成为了小野肯的学生，加入了他的数论项目。在小野肯的指导下她解决了拉马努金理论中的部分猜想，并获得了拉马努金精神奖学金。

卓越的学术能力让洪乐潼拿奖拿到手软：被誉为北美数学本科生最高荣誉的“摩根奖”、专门表彰全美顶尖本科女数学家的“Schafer数学卓越奖”、有“本科诺贝尔奖”之称的牛津大学罗德奖学金（当年全球仅四名中国学生获此殊荣）等，都被她收入囊中。

凭借罗德奖学金，洪乐潼赴牛津大学攻读神经科学硕士，之后又进入斯坦福大学，同步攻读数学博士与法学博士。

然而，在大多数人还在按部就班完成学业时，洪乐潼却做出了一个大胆的决定——从斯坦福退学。

据了解，在博士就读期间，洪乐潼和Meta AI研究员Shubho Sengupta在斯坦福大学校外的一家咖啡馆中畅谈数小时。两人一拍即合，随即决定共同创业。

Shubho Sengupta 来源：网络

2025 年 3 月，Axiom Math 在旧金山正式成立。

彼时，ChatGPT o3被曝光在数学测试中存在“作弊”嫌疑，全球舆论哗然。

洪乐潼在社交媒体上犀利评价道：“OpenAI大模型在数学测试中表现优秀，大概率是因为训练数据中提前泄题了。在一些测试中，大模型回答的准确率虽然高达96%，但一旦展示推理过程，得分率就降至5%。”

这正是洪乐潼立志攻克的核心难题，她认为现有的训练方法有局限性，她想要打造一个“AI数学家”：不仅能够将现有的数学知识全部吸收，还能够自主推理，甚至自主提出数学猜想。

这意味着什么？

意味着：AI 不仅可以自动做数学研究检验理论正确性，还能能优化物流、芯片设计、金融系统，甚至能解决人类几百年没解决的难题。

如果成功，它会成为数学界的“深蓝时刻”。也会成为科技界最大的爆点之一。

天下潮商综合

来源：公众号张宁 ning zhang 、量子位、华商韬略等

文中所用图片来源网络

【编者声明】

本公众号部分素材来自网络，版权归原作者所有。编者收集整理，旨在与大家分享学习。如您认为某些内容侵犯您的权益，请及时告知，我们核实后将采取相应措施。

-The End -

❦

天下潮商经济年会是全球潮商的高层次公益学习交流合作平台，致力打造全球潮商第一经济论坛。以“全球经济变局与潮商竞争力”、“投资中国 共创辉煌”、“迎接资本大时代——汇聚潮商资本 共建一带一路”、“彰显榜样力量 共建一带一路”、“新全球化时代的潮商”、“携手‘一带一路’ 开创共赢未来”、“大变局中谋新突破”、“全球潮商创新发展 助力中国式现代化”为主题的第一、二、三、四、五、六、七届天下潮商经济年会分别于2011年12月10日、2013年11月30日、2015年12月7日、2017年12月16日、2018年12月16日、 2019年11月29日、2023年1月8日、2025年1月12日在北京饭店、北京人民大会堂、澳门威尼斯人度假村酒店、北京饭店、北京钓鱼台国宾馆、柬埔寨金边钻石岛大会堂、柬埔寨总理府和平宫、北京雁栖湖国际会都、北京饭店成功举办，历届天下潮商经济年会及相关活动得到了柬埔寨王国政府、澳门特别行政区政府、国务院侨务办公室、全国侨联、全国工商联、中央电视台和北京大学的大力支持或共同主办，汇集了全球众多中外国家领导人、部级领导、经济学家、商业领袖和杰出潮商，分别通过主旨演讲、对话论坛、圆桌会议、颁奖盛典、文化之夜、项目对接和投资考察等不同形式进行广泛交流与合作，构建了一场场规格高、形式新、前瞻强和影响广的“全球潮商高端思想盛宴”。

柬埔寨总理洪森、澳大利亚第25任总理霍华德、澳大利亚第26任总理陆克文、泰国国会主席颂萨、泰国立法议会主席蓬佩、全国政协副主席董建华、全国政协副主席何厚铧、全国政协副主席梁振英、全国政协副主席辜胜阻、柬埔寨副总理棉森婉、柬埔寨副总理任财利、柬埔寨副总理温本莫尼洛、泰国国家立法议会第一副议长素拉猜、澳门特区行政长官贺一诚、第十届全国人大副委员长何鲁丽、第十届全国人大副委员长许嘉璐、第十届全国人大副委员长蒋正华、第十一届全国人大副委员长周铁农、第十届全国政协副主席罗豪才、第十届全国政协副主席李蒙、第十一届全国政协副主席阿不来提·阿不都热西提、第十一届全国政协副主席黄孟复、第十二届全国政协副主席罗富和、第十二届全国政协副主席李海峰、泰国前副总理功·塔帕朗西、时任澳门特区行政长官崔世安、中央统战部副部长许又声、时任中央统战部副部长谭天星、中共中央对外联络部原部长朱良、时任中国侨联主席林军、中国人民武装警察部队原司令员吴双战上将等33位中外国家领导人和76位部级领导，以及李嘉诚、马化腾、饶宗颐、谢国民、陈有庆、陈有汉、刘艺良、方侨生、陈一丹等全球卓越潮人潮商分别莅临出席年会活动，或发来贺信贺电。