洪乐潼
Axiom Math创始人，数学家，企业家，2022年中国罗德奖学金入选者
24歲華女洪樂潼創AI公司 聘57歲數學傳奇、日裔師小野健
記者顏伶如／綜合報導 2025-12-05
24歲的洪樂潼成立初創公司Axiom Math，找來自己的57歲的數學老師小野健加入團隊。
華爾街日報4日獨家報導，維吉尼亞 大學(University of Virginia)日裔教授小野健(Ken Ono)是數學界傳奇人物，經常走出校園把數學公式推廣到其他領域，包括好萊塢及奧運 會，還成為唯一拍過啤酒廣告的數學家。如今小野健決定離開教職，搬到矽谷加入前任學生、24歲華裔新秀洪樂潼(Carina Hong)的初創公司，發展數學超級智慧(mathematical superintelligence)。
報導指出，就在不久之前，對於57歲的小野健來說，把整個生活連根拔起、重新調整職業方向，根本是不可思議的想法，況且他對人工智慧(AI )充滿懷疑。他在演講開場自我介紹常開玩笑說：「我叫小野健，我是NI，也就是天然智慧(Natural Intelligence)。」
洪樂潼為創公司棄學業 洪樂潼畢業於麻省理工學院(MIT)，曾獲美國大學生數學研究最高榮譽的摩根獎(Morgan Prize)，也拿過羅德學者獎學金(Rhodes Scholarship)，前往史丹福大學(Stanford University)繼續攻讀法律與數學博士，但為了創立Axiom Math而放棄學業。她為創業籌募到6400萬元，從Meta挖角幾位AI研究員，最後還雇用了自己的導師。
她說：「小野健是很多數學學生的偶像。」
唯一拍啤酒廣告數學家 投資人押注Axiom研發數學超級智慧，看好有朝一日可以做為各種商業應用，例如軟體與硬體驗證、優化物流、演算法交易、金融工程。全球規模最大的幾家產業為AI大量燒錢，引發市場對AI榮景泡沫的擔憂，但數學家們卻對AI的潛力愈來愈有信心，認為AI可以輔助工作，引領新發現。
小野健學術生涯裡，經常以將數學應用於其他領域而聞名。他曾擔任維吉尼亞大學游泳選手和美國奧運金牌得主的顧問，也為美國國家安全局(National Security Agency)提供諮詢。小野健協助製作2015年電影「天才無限家」(The Man Who Knew Infinity)，啤酒廣告裡認證Miller 64啤酒只有64卡洛里，低於競爭對手一款淡啤酒的80卡洛里。
小野健追求極致AI模式 本周開始，小野健以「第15名員工」的身分在Axiom開始上班。原本討論給他的頭銜是「首席數學傢伙」(chief math guy)，後來經過進一步商量，敲定較為正式的職稱「創始數學家」(founding mathematician)，任務是把公司研發的各種AI模式發展到極致。
數學界傳奇人物、維吉尼亞大學日裔教授小野健離開教職，加入前任學生、24歲華裔新秀洪樂潼的初創公司，發展數學超級智慧。(取自維吉尼亞大學官網)
洪乐潼（英文名:Carina Letong Hong），中国广州人，2001年出生，2022年中国 罗德奖学金 入选者（该奖学金每年在中国大陆仅选拔4人） [4] [6] 。本科就读于美国麻省理工学院，选择数学与物理双学位，期间修读20余门研究生课程，发表学术论文涉及模椭圆曲线与K3曲面的L函数、弹出栈排序算法等领域，获2022年爱丽丝·T·谢弗数学奖，论文发表于《美国数学学会论文集》《拉马努扬杂志》等顶级期刊 [3] [5] 。2022年，洪乐潼入选罗德学者后赴 牛津大学 攻读数学博士学位，期间参与 伦敦大学学院 人工智能研究项目。
洪乐潼在高中阶段入选数学奥林匹克广东省队，并多次获得 全国高中数学联赛 奖项。2024年创办Axiom Math公司，该公司投后估值达3亿美元。其团队研发的Axiom Prover系统在1天内攻克悬置30年的埃尔德什第124题，并在5小时内推翻埃尔德什第481题现有结论。该项目核心团队汇聚 Meta 前人工智能专家及 弗吉尼亚大学 终身教授小野健（英文名:Ken Ono）等学者 [13] 。洪乐潼本科毕业后曾被 斯坦福大学 数学与法学双博士项目录取，后选择退学并投身人工智能创业 [7-12] 。 创业与事业
2025年10月，Axiom Math公司完成6400万美元（约合人民币4.6亿）融资，随后洪乐潼放弃了博士学位，全职投入了创业。
2025年12月3日，洪乐潼在社交平台宣布AxiomProver系统分别用1天和5小时，在无人为干预的情况下完成了埃尔德什问题集中第124题和第481题的证明。 [14] 同月，小野健辞去 弗吉尼亚大学 终身教职加入Axiom Math公司，引发数学界与AI圈对顶尖学者"弃研从创"现象的讨论。
Axiom Math推动"数学研究+AI"新范式发展，其AI系统能够推理和证明数学定理。小野健设计数学难题作为测试标准，构建AI数学能力基准测试体系。 [13]
学术背景
2019年，洪乐潼考入麻省理工学院，主修数学和物理学，选修了20多门研究生课程 [3] [5] 。其学术表现获得校方认可，曾获数学系社区建设奖 [3] 。
在 数论 研究领域取得显著成果，论文发表于《美国数学学会论文集》《拉马努扬杂志》等期刊。参与多所机构的研究项目，在国际数学会议上多次发表论文并获得优秀论文奖 [3] 。其领衔开发的数学推理系统具备分钟级求解IMO银牌难度几何题的能力，相关技术突破被国际数学会议NeurIPS 2025收录为特邀报告 [13] 。 2022年爱丽丝·谢弗数学奖 ：数学界妇女协会颁发的青年数学家奖项。 [3] [5]
新兴领袖奖 ：麻省理工学院Convocations授予的校级荣誉。 [3]
罗德奖学金 ： 2022年10月，洪乐潼入选，赴牛津大学攻读博士学位。 [1] [6] “福布斯30岁以下30人”榜单 ：2025年12月3日，洪乐潼入选。 [14]
全球最难申请的国际奖学金之一（每年在中国大陆仅选拔4人） [4] [6] 。
2022年，与洪乐潼共同获选该奖学金的学者包括 陆观宇 （ 复旦大学 / 伦敦大学 ）、 万祉昕 （ 清华大学 ）、 王丰泉 （ 北京大学 ） [2] 。 罗德奖学金创立于1903年，涵盖牛津大学就读期间的全额费用 [6] 。
數學界傳奇人物、維吉尼亞大學日裔教授小野健離開教職，加入前任學生、24歲華裔新秀洪樂潼的初創公司，發展數學超級智慧。(取自維吉尼亞大學官網)