出品丨花朵财经观察(FF-Finance)
撰文丨学研
一次咖啡馆的交流,在若干年后促成了一笔天价融资,而缔造这一商业奇迹的正是00后广州女孩——洪乐潼(Carina Hong)。
年仅24岁的她,不仅拥有麻省理工学院、牛津大学和斯坦福大学等名校经历,而且还一手创办了Axiom Math(下文简称“Axiom”)——一家致力于“用人工智能解决数学问题”的AI公司。
据悉,Axiom已正式完成了首轮6400万美元(约合人民币4.6亿元)的融资,由B Capital领投,Greycroft、Madrona和Menlo Ventures等机构参与,投后估值为3亿美元(约合人民币20亿元)。
凭借这笔融资,这位00后创始人正式走入大众视野。正如Axiom在官网中所说:“数学发现的未来,就从这里开始”,洪乐潼的成长故事也跟数学有着千丝万缕的关系。
PART.01
广州女孩的“开挂”人生
洪乐潼出生于广州,自幼就展现出数学天赋,其中学就读于广东名校华南师范附中。就读期间,她是广东数学奥林匹克省队仅有的四名女生之一,还多次在“华罗庚金杯”、全国高中数学联赛中获奖。
2019年,洪乐潼成功考入麻省理工学院攻读数学和物理双学位。本科四年她不仅担任数学协会主席,还修读了20个硕博课程,发表多篇高质量学术论文。
洪乐潼
同时,洪乐潼先后拿下Schafer数学卓越奖和北美数学本科生最高荣誉“摩根奖”。
2022年,洪乐潼又获得了有“本科诺贝尔奖”之称的牛津大学罗德奖学金,成为仅有的四名中国获奖者之一。
后来,洪乐潼前往英国牛津大学学习神经科学,获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究。到了2024年,她前往斯坦福大学攻读数学博士和法学博士,但正是这次求学经历,让此前一直处于“研究者”身份的她,正式进入AI领域。
博士学习期间,洪乐潼在斯坦福附近的一家咖啡馆,与当时还在Meta工作的Shubho Sengupta进行了交流。两人讨论了各自研究领域的交叉点,以及能否用AI解决复杂数学问题这一话题。
这次交流过后,洪乐潼毅然决然选择退学。几个月后,Axiom在旧金山正式成立。
简单来说,Axiom想将教科书、论文和期刊中的英文数学内容都喂给AI,从而打造一个能够自我提升的超级智能推理系统。在洪乐潼的设想中,这一系统未来将拓展至金融建模、芯片架构、量化交易等领域,甚至是自主提出新的数学猜想,产生全新的数学知识。
Axiom Math团队合照
目前这家新兴的AI公司只有10名全职人员,但他们个个都是行业顶尖人才。
比如担任CTO的Shubho Sengupta是Meta FAIR的团队负责人,曾开发OpenGo和CrypTen。同时他也是最早开发CUDA技术的专家之一;资深科学家Hugh Leather曾开发过编译器与 GPU 代码生成的大语言模型。
作为此次领投方,B Capital合伙人表示解决复杂的数学问题是许多人类发明的核心,他们在Axiom身上看到了极高的潜在价值。
洪乐潼也曾提到ChatGPT等大模型在数学测试中虽然分数高,实际上依赖于训练数据。一旦被要求展示证明过程,准确率就会从96%骤降至5%,Axiom要解决的正是AI数学的卡脖子难题。
但究竟Axiom能否把数学推理技术转换成现实,一切还有待时间见证。
PART.02
00后迎来AI造富时代
一路走来,洪乐潼就是妥妥的“别人家的孩子”,开挂人生让人看得瞠目结舌。
可随着AI改写一切的时代来临,新的创业传奇正在不断浮现。越来越多00后创始人登上AI舞台。
右:Jessica Wu
不久前,22岁的华裔女孩(Jessica Wu)从麻省理工学院辍学后,联手同学Neil Deshmukh创立了Sola Solutions,主攻AI自动化流程服务平台,两年间拿下两轮融资,总额超1.5亿元人民币,成为投资人口中的硅谷最具潜力的年轻CEO之一。
哥伦比亚大学学生Roy Lee和Neel Shanmugam开发了一款名为Interview Coder的AI工具,帮助用户在技术面试中实时获取编程题的解答。
CNBC报道Roy Lee面试事件
他们甚至使用该工具通过了亚马逊的面试,虽然这导致他被亚马逊“拉黑”,并被哥伦比亚大学停学处分,但并不影响用户对该产品的追捧。产品一经上线,10周后就实现了盈利,今年6月公司估值已经达到1.2亿美元。
左李宜哲,右1程颐,右2闵宇恒
国内也有类似的创业例子,今年初,三个来自清华的“00后极客”——闵宇恒、程颐、李宜哲创办了机器人公司零次方。如今公司一举完成多轮亿元级天使轮融资,投资方汇集了河创投、同创伟业、力合科创、水木基金、瑞穗力合、拉尔夫创投等知名机构。
杨丰瑜
具身智能公司UniX AI创始人兼CEO杨丰瑜,出生于2000年,本科就读于密歇根大学计算机专业,后续进入耶鲁大学计算机专业攻读博士生,2023年因家庭养老需求从耶鲁大学休学回国创业,同样吸引了不少投资方的关注。
这些AI创业者有着共同特征:足够年轻,几乎都来自顶尖名校,其中不少人选择辍学创业,也有华裔女性的身影。
有投资人分析,AI时代许多东西都太过新颖,以至于许多原有经验没办法直接套用。因此,00后、90后和80后其实是站在同一起跑线的,甚至成长于技术变革的年代,既有扎实的计算机基础,又具备国际化视野和跨学科思维的00后会更具优势。
除了这些比较突出的创业者,国内外工作大环境其实被AI悄悄改变。许多人认为AI会令社会的就业形势更加严峻,也有人觉得AI跟元宇宙一样在画饼。
实际上,第一批AI人才已经吃到了时代红利。
Meta花两亿美元挖走中国AI人才,本科毕业于上海交通大学的庞若鸣(Ruoming Pang);小鹏汽车创始人何小鹏在一次校招演讲中表示启动史上最大规模AI人才招聘,对于特别优秀的同学,薪酬上不封顶。
此外,包括华为的“天才少年计划”、京东的DMT计划、字节跳动的“筋斗云计划”在内的大厂,为天才少年们提供了超过百万年薪。
据新华社报道,近5年来,中国人工智能企业从1400余家增长到超5000家,相当于平均约11个小时就有一家人工智能企业诞生。
洪乐潼的故事虽发生在海外,但国内同样存在适合AI发展的土壤。
对于年轻人来说,这可能是最坏的时代,也可能是最好的时代。AI会取缔部分岗位,但同样会创造岗位,而且这些岗位是越来越值钱了。