公司核心动态 - 传奇数学家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]