公司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]