伟达、红杉资本、瑞比特资本等都是股东。洪乐潼并不担心。“我们主要竞争对手Harmonic花了两年多，才达成第一个重要数学里程碑，我们快很多。”她透露，已经有不少意向客户找上门。师徒联手洪乐潼的创业，始于一次咖啡馆中的闲聊。2024年深秋，洪乐潼在斯坦福大学附近的咖啡馆，遇见了时任Meta AI研究总监的Shubho Sengupta。几小时交谈后，两人决定一起用AI，解决世界上最棘手的数学问题。不久，洪乐潼退学创业，Shubho则成为Axiom第一位成员，现任CTO。洪乐潼拉来的首位重磅业界大佬，是57岁的数学泰斗小野健（Ken Ono）。他是模形式领域的顶尖学者、美国数学学会前副会长，拿过古根海姆奖、斯隆奖等荣誉，指导过十位摩根奖得主。他的身影也不只出现在课堂，他也曾经为美国奥运游泳队提供数据分析，为电影《知无涯者》担任顾问，甚至出演啤酒广告，为了证明“64卡路里小于80卡路里”。这位弗吉尼亚大学终身教授与洪乐潼结缘于麻省理工。彼时，大一新生洪乐潼，参与了小野健的数论项目。师生关系延续至今，角色却已不同。2025年底，小野健做出一个震动学术界的决定：辞去教职，带着全家搬到硅谷，加入一家只有15人的初创公司，工牌编号015。其职位是创始数学家，舆论称这是“数学国家队级别的倒贴”。小野健表示，促使他加入Axiom的动机是好奇心和学术探索，而非经济利益。“我并非为了金钱而来。”小野解释道，自己曾拒绝过多家大型人工智能公司的高薪酬邀约。他选择帮自己的学生打工，不仅因为洪乐潼开出“不设教学、不设行政、100%科研”的合约。更关键的是，AI对他的“降维打击”，让他感到兴奋。“如果我的猜想能被机器在3天内推广到10个维度，我愿意当一个‘标注工’。”洪乐潼的号召力不止于此。短时间内，她组建了由17名顶尖研究人员组成的团队，核心科学家François Charton，是率先将Transformer模型引入数学领域的先驱之一。“很多人来这里，是为了专注做技术，而不是应付一般的公司文化或人际问题。”洪在接受采访时提到，研究者意识到，科学发现的时间线正被AI大幅压缩，这种“硬核科技”的快速推进，比大厂的稳定更有吸引力。洪乐潼相信，当问题足够难的时候，人才密度会急剧上升。目前，Axiom拥有20多名员工，洪乐潼忙着招兵买马。她在海外社交平台上频繁发布招聘信息，寻找有志于“用AI做数学”的同
=*=*=*=*=*=
当前为第2/3页
下一页-上一页-
=*=*=*=*=*=
返回新闻列表
返回网站首页