公司核心动态 - 传奇数学家Ken Ono辞去弗吉尼亚大学终身教职，加入其前学生Carina Hong创办的AI初创公司Axiom Math，担任创始数学家[1][2][7] - 促使Ken Ono做出职业转变的关键原因，是他在一次研讨会上亲眼目睹了AI在数学研究上的巨大潜力，并认为AI展示了“另一种做数学的方式”[1][47][54] - Axiom Math由24岁的斯坦福博士生Carina Hong在2024年创办，公司致力于打造能够推理、发现新问题并进行形式化证明的“AI数学家”，而不仅仅是给出答案[8][25] - 公司成立后短短几个月便完成了6400万美元的种子轮融资，估值达到3亿美元[24] - 公司团队吸引了众多顶尖人才，包括来自Meta FAIR实验室的前AI科学家，以及因解决百年数学难题而闻名的研究员，Ken Ono是公司的第15号员工[24][71][72][74] 创始人背景与愿景 - 创始人Carina Hong拥有卓越背景：她在中国广州长大，接受奥数训练，3年内从麻省理工学院毕业，获得摩根奖和罗德奖学金，后赴牛津攻读神经科学硕士，又在斯坦福攻读法律与数学博士[9][10][15][16][18] - 她放弃了量化交易员的机会，选择学术与研究道路，并受到AMD CEO苏姿丰“奔向最难的问题”建议的影响[16][21] - Carina Hong认为数学是打造超级智能的完美试验场，公司目标是攻克困扰人类数百年的数学难题，甚至提出全新的数学猜想[26] - 投资方B Capital称Carina Hong为“推动数学超级智能的人”[27] 行业趋势与竞争环境 - 尽管存在对AI泡沫的担忧，但数学家群体越来越看好AI带来数学突破的潜力[28] - 行业近期动态包括：Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛中夺金，引发了数学圈的广泛关注[64] - 由Robinhood CEO Vlad Tenev联合创办的Harmonic公司也引发关注，其表示“数学超级智能正在一点点逼近”[69][70] - 行业内的公司正通过组建由杰出AI与数学专家组成的团队来确立竞争优势[71] 关键人物Ken Ono的背景 - Ken Ono是全球最杰出的数学家之一，以对拉马努金理论的深入研究而闻名，并培养过10位摩根奖得主（包括Carina Hong）[4][33] - 他不仅从事理论研究，还积极将数学应用于体育分析（如为奥运游泳选手提供咨询）和科学传播（如出演啤酒广告、担任电影制片人）[34][35][36][37] - 他此前对AI在数学中的角色持观察态度，认为AI在需要直觉与抽象思维的创造力方面仍显笨拙，但一次测试AI模型的研讨会彻底改变了他的看法，他感到AI正在迅速赶上甚至超越人类专家[44][48][50] - 除了被AI潜力吸引，促使他离开学术界的因素还包括对高等教育研究经费的担忧，以及花费在处理大学行政事务上的时间过多[58][60]

公司Axiom Math - 公司由24岁的Carina Hong于2024年创办，她在斯坦福大学附近的咖啡馆萌生想法，并于去年夏天种子轮融资落地后退学创业[5][16] - 公司已完成6400万美元的种子轮融资，估值达到3亿美元[17] - 公司名称“Axiom”意为“公理”，即数学中可构筑整套理论的基本真理[17] - 公司目标是打造一款“AI数学家”，这是一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的AI系统，而不仅仅是给出答案[17] - 公司希望未来能够攻克一些困扰人类数百年的难题，甚至能够提出全新的数学猜想[17] - 公司创始人Carina Hong被投资方B Capital称作“推动数学超级智能的人”[17] - 公司迅速组建了一支由杰出的人工智能与数学专家组成的团队，其中许多人来自Meta的FAIR实验室[31] - 公司核心成员包括因解决百年数学难题而闻名的Francois Charton，以及代码生成领域深度学习的早期先驱之一Hugh Leather[31] - 公司吸引了前Meta的AI科学家Shubho Sengupta担任CTO[12][17] - 公司吸引了传奇数学家Ken Ono辞去弗吉尼亚大学终身教职，举家搬迁数千公里至硅谷，成为公司第15名员工，担任创始数学家[3][27][31] - Ken Ono在公司的主要任务是把AI模型推到极限，设计只有真正理解数学原理才能解决的代表性问题，并制定评估系统表现的基准[31] 行业与AI数学研究 - AI在数学研究上展现出无限可能，促使顶尖学者投身相关创业[1] - 2024年，Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛夺金，令全球数学圈沸腾[28] - 由Robinhood CEO Vlad Tenev联合创办的Harmonic也引发关注，Tenev表示数学超级智能正在一点点逼近[31] - 尽管AI泡沫令人担忧，但数学家们却越来越看好AI可以带来数学突破的潜力[18] - AI在认知任务、解决已知问题上表现惊人，但一旦涉及需要直觉与抽象思维的创造力部分，比如在纯数学领域仍显得笨拙[25] - 有观点认为，AI展示了另一种做数学的方式，可以成为人类数学家的新搭档[27] - 数学被认为是打造超级智能的完美试验场[17] 关键人物：Carina Hong - 24岁，在中国广州长大，从小热爱数学并接受奥数训练[5] - 作为家族中第一代大学生，约十四五岁时目标锁定麻省理工学院（MIT）[7] - 3年内从MIT毕业，拿下美国本科数学研究最高奖Frank and Brennie Morgan Prize（摩根奖）和Rhodes Scholarship（罗德奖学金）[9] - 获得罗德奖学金后，放弃对冲基金量化交易员机会，前往牛津大学攻读神经科学硕士学位，期间做过深度学习相关研究[10] - 随后进入斯坦福大学攻读法律博士和数学博士[11] - 她是Ken Ono在2020年本科研究项目的学生，也是Ken Ono培养过的10位Morgan Prize得主之一[22][28] 关键人物：Ken Ono - 57岁，全球最杰出的数学家之一，原弗吉尼亚大学终身教授[1][3] - 以对印度数学奇才拉马努金理论的深入研究而闻名，并带领美国顶尖的本科研究项目，培养过10位Morgan Prize得主[22] - 积极将数学应用于体育与科学传播，曾为UVA游泳队和美国奥运金牌选手提供咨询，并参与制作数学家拉马努金的传记电影《知无涯者》[22] - 去年春天参加一次测试AI模型的研讨会，作为30位数学家之一提出研究级难题考验AI，深受冲击，认为AI展示了另一种做数学的方式[25][27] - 决定离开学术界的部分原因包括担心研究经费岌岌可危，以及花在处理政治相关事务上的时间越来越多，做数学的时间却越来越少[27]