据参考消息，不久之前，世界著名数学家小野健还认为加入硅谷一家人工智能(AI)初创公司的想法很荒诞，最近他还在演讲开场时调侃这项新兴技术受到的热捧。 此外，小野健曾为弗吉尼亚大学的游泳运动员和美国队的奥运游泳金牌得主提供咨询；给美国国家安全局提供建议；参与制作了2015年的电影《知无涯者》；他还主导过全国顶尖的本科生研究项目，并且在他的指导下有10人获得摩根奖，其中就包括他的这位新雇主。 在AI彻底改变小野健的职业生涯之前，他一直自认为是AI的怀疑论者。但他也清晰地认识到：“我与这些模型之间的领先优势在缩小。而在不属于我专长的领域，这些模型已经把我远远甩在身后。” 促使他离职的另一个原因，恐怕要算到美国总统特朗普头上。随着美国政府将矛头对准高等教育，他担心联邦科研经费会受到冲击。 今年早些时候，弗吉尼亚大学的校长在特朗普政府的压力下辞职。作为学校教务长的顾问，小野健花在“事务”上的时间越来越多，真正做数学的时间变少了。 投身AI，是他难以拒绝的选择。“我有幸参与改变世界运作方式的进程。”小野健说，“作为一名纯粹的数学家，这样的机会实属少见。” “我不是为钱而来。”小野健本就是弗吉尼亚大学薪酬最高的教职人员之一，并表示自己也曾拒绝过其他AI公司提供的更丰厚的报酬和更大股权。 公开资料显示，洪乐潼是广州出生长大的潮汕人。尽管父母并没有接受过高等教育，洪乐潼却自幼展现出不凡的数学天赋，她中学就读于广东名校华南师范附中，多次拿下奥数竞赛奖牌。14岁时，她在草稿纸的边缘写下“MIT”三个字母，激励自己。 2019年，她成功考入麻省理工学院，攻读数学和物理双学位。毕业前后，洪乐潼先是拿下Schafer数学卓越奖，该奖每年仅颁发给一名本科女生；后获得北美数学本科生的最高荣誉——摩根奖，她是第五位获此殊荣的女生。 2022年底，洪乐潼成功拿到牛津大学罗德奖学金。罗德奖学金是世界上历史最悠久、最负盛名的国际奖学金项目之一，有“本科诺贝尔奖”的美誉。 硕士期间，她还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示：“人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。” 数理基础极强的洪乐潼搞起AI研究是非常得心应手的。她一度成为中心里“理论做得最好的年轻人”，能接触到许多最前沿、最好玩儿的课题。 2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士，第一年，她全身心地投入到法律硬核课程中，并用所学来帮助低收入劳工。 Axiom Math成立后不久便完成了6400万美元的种子轮融资（约合人民币4.6亿元），由B Capital领投，Greycroft，Madrona Venture Group和Menlo Ventures参投，融资后公司估值达到3亿美元（约合人民币20亿元）。“我很少见到种子轮融这么多的，非常少见。”洪乐潼说。 据中国科学报的采访，2025年初，DeepSeek横空出世，美国AI市场弥漫着恐慌情绪。团队正处于融资关键期，投资人的问题接踵而至：“DeepSeek又推出了什么？”“OpenAI那边怎么样？”“你们的技术有没有防御性？”这样的问题提出往往不在正式的会议室，而是一通突如其来的电话，或一场看似随意的社交晚餐，毫无调研准备的时间。而为了应对这样的问题，洪乐潼的大脑总是在转，在思考，几乎形成了瞬间肌肉记忆。 具体而言，Axiom的想法是将教科书、论文和期刊中的英文数学内容转换为程序化知识，以便人工智能可以解决数学问题，并能通过验证来检验解答。未来，这一模型的研究场景有望拓展到金融建模、芯片架构甚至是量化交易等领域。 创业仅4个月，洪乐潼带领不足10人的团队（核心成员仅4人），用自主研发的Axiom Prover系统，可在分钟级完成IMO银牌难度几何题，并接连攻克两道悬而未决的数学难题，震惊了数学界与AI圈。 作为Axiom的第15名员工，小野健的工作是把公司的AI模型推向极限。他将设计那些只有真正理解数学原理才能解出的代表性问题，同时起草基准体系，以衡量系统表现、指引模型改进。 2025年5月，AI初创公司Anysphere完成一轮9亿美元融资（约合人民币65亿元），估值达90亿美元，成为今年最火AI编程独角兽之一。掌舵公司的也是来自麻省理工的四张年轻面孔。 有投资人分析，这一波AI创业潮中，00后和90后、80后的创始人起点都一样，甚至前者优势更大。因为很多事物太新了，原有经验无法直接复用，而00后没有包袱，对新事物的认知触感更多。
