【小哈划重点：源自于The Information的报道，0产品0客户，甚至还没有正式官网的AI初创公司Axiom正在进行5000万美元融资，估值约3亿到5亿美元。公司将用AI解决数学难题。目标客户之一是对冲基金和量化交易公司，可快速解决投资、股市等金融领域的复杂数学问题。】
往昔风云起，今朝我辈继。AI风起时，少年已跃马前行，奔赴这场新江湖。
“00后们开始起跑了。”本周，一个有点陌生的名字——洪乐潼，密集出现在AI投资人的交流里。
这源自于The Information的报道，0产品0客户，甚至还没有正式官网的AI初创公司Axiom正在进行5000万美元融资，估值约3亿到5亿美元。有意思的是，公司将用AI解决数学难题，与今天的高考十分应景。
消息一出，立刻在硅谷和国内创投圈刷屏，背后创始人一夜爆火——缔造Axiom的正是00后学霸洪乐潼（Carina Hong）。
在广州出生长大，洪乐潼曾就读于著名的华南师大附中，多次拿下奥数竞赛奖牌。后考入麻省理工学院，硕士毕业于牛津大学。如今20出头的她，正在斯坦福大学攻读数学和法学博士双学位。目前，洪乐潼在社交平台回应融资消息“不实”。但可以确定的是，Axiom正在招聘AI数学人才。
悄然间，00后创始人正在登上AI舞台。
一位00后女学霸爆红
来自广州
公开资料显示，洪乐潼是位00后，出生于广州市。父母是土生土长的潮汕人，并没有接受过高等教育，她是家里的第一代大学生。
自小洪乐潼就对数学兴趣浓厚，中学就读于广州名校华南师范附中，多次在“华罗庚金杯”、全国高中数学联赛等竞赛中取得好名次。
2019年，洪乐潼考入麻省理工学院，攻读数学和物理双学位。本科期间，她曾担任数学协会主席，并修读了20个硕博课程，发表多篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想、弹出栈排序算法研究等领域。
毕业前后，洪乐潼拿奖不断。先是拿下Schafer数学卓越奖，该奖每年仅颁发给一名本科女生。后获得北美数学本科生的最高荣誉——摩根奖，她是第五位获此殊荣的女生。
图片来源：麻省理工学院
在学界崭露头角是2021年底，洪乐潼成功拿到了牛津大学罗德奖学金，成为仅有的四名中国获奖者之一。
罗德奖学金是世界上历史最悠久、最负盛名的国际奖学金项目之一，有“本科诺贝尔奖”的美誉。每年从全球选拔约100位“罗德学者”，全额资助他们前往英国牛津大学深造。如今，获奖者中已产生了四十多位全球领导人和十几位诺贝尔奖得主。
次年，洪乐潼前往英国牛津大学学习神经科学，获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究，当时她曾表示，“人工智能与科学家未来的互动会怎样？是我接下来希望研究的课题。”
到了2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。“一直以来，我都是一名研究者。”此前一次采访中她称，内心深处最想要解决真正困难的技术问题。很快，还在博士就读的她闯入了AI界。
创业瞄准AI+数学
正在招人
洪乐潼的创业项目，也跟数学有关。
The Information的一篇报道，掀开了这家初创公司的神秘一角。报道称洪乐潼的AI初创公司名为Axiom，意为公理，是构建数学理论的出发点。
Axiom将专注于数学领域，通过学习严格的逻辑推理和数学证明的过程，AI能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。目标客户之一是对冲基金和量化交易公司，可快速解决投资、股市等金融领域的复杂数学问题。
尽管目前Axiom还没有开发出一款产品，但已经吸引到了投资人。曾投出Perplexity等独角兽的B Capital正在就最新一轮5000万美元的融资展开谈判，或许领投本轮。Axiom的估值预计达3亿-5亿美元。
但很快，洪乐潼在社交平台否认了这一融资信息，称报道并不准确。
不过Axiom确为洪乐潼的最新创业项目，并且正在公开招聘AI数学人才。
追溯其为何瞄准AI数学赛道，还有一段插曲。今年ChatGPT o3曾被爆出数学测试作弊，洪乐潼在社交媒体指出，OpenAI的大模型之所以在数学测试中表现良好，可能是因为该公司在训练模型时已接触过这些题目。
她举例称，美国数学邀请赛考试中，部分大语言模型可以达到96%的准确率，但当要求展示证明过程时，分数骤降至5%。
“为什么会有这样的差异？因为训练方式有问题。”而当前AI大模型无法完美解决的组合数学问题，恰恰是洪乐潼的研究专长。
值得一提的是，就在年初DeepSeek火爆全球之际，洪乐潼曾发出这样的感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。”
如今，跟随广东老乡梁文锋的脚步，刚刚20出头的洪乐潼也踏上了新征程。
AI造富
00后开始集体登场
这一波AI风口上，站满了00后。
就在上个月，AI初创公司Anysphere完成一轮9亿美元融资（约合人民币65亿元），估值达90亿美元（约合人民币650亿元），成为今年最火AI编程独角兽。
掌舵公司的是四位年轻面孔。2022年，刚刚从麻省理工学院毕业的Michael Truell和他三位同学一拍即合，瞄准AI编程赛道下场创业，旗下产品Cursor一举改变编程方式，迅速席卷硅谷AI圈。
无独有偶。今年3月，AI招聘网站Mercor宣布完成1亿美元B轮融资，估值达到20亿美元（约合人民币145亿元），是上轮估值的8倍，成长速度令人咋舌。
公司创始人是三位退学的00后。大二那年，三人在宿舍里创立Mercor，决定从哈佛及乔治敦大学退学全职创业。只用了两年时间，公司一跃成为百亿级别独角兽。
还有同为AI编程公司Magic。这家仅有20多位员工的公司已获NVIDIA、Sequoia、Alphabet等知名机构超5亿美元投资，估值达15亿美元。背后是位2000年出生的少年天才，从剑桥大学三一学院计算机专业辍学创业。
我们将目光拉回到大洋彼岸，国内00后创始人同样开始崭露头角。
去年，灵初智能完成天使轮融资，由高瓴创投和蓝驰创投领投。公司联合创始人陈源培是一名痴迷机器人的00后，曾作为Stanford访问学者师从Karen Liu和李飞飞教授。
还有具身智能公司UniX AI创始人兼CEO杨丰瑜，出生于2000年，本科就读于密歇根大学计算机专业，从耶鲁大学博士毕业后回国创业。
细看下来，他们都有着极为漂亮的履历：考入名校，奥赛奖杯、国家奖学金傍身，有着远超同龄人的优秀，也有着国际化的视野。
时代红利，谁都不想错过。一种普遍的声音是，互联网时代属于70后，80后和90后坐上了移动互联网的列车，而AI终于轮到00后们。“先上桌，再吃饭”成为先吃螃蟹那批人的共识。
身边投资人分析，这一波AI创业潮中，00后和90后、80后的创始人起点都一样，甚至前者优势更大。因为很多事物太新了，原有经验无法直接复用，而00后没有包袱，对新事物的认知触感更多。
“我们始终坚信，创业在很多时候是属于年轻人的。”真格基金管理合伙人戴雨森在天津大学分享称，“无知者无畏。诸多科技创新成果诞生，正是源于当事人虽了解却无所畏惧，由此萌生出创新想法。”
往昔风云起，今朝我辈继。AI风起时，少年已跃马前行，奔赴这场新江湖。
（原标题：《一位广州00后女生爆红》）
https://m.pedaily.cn/news/550696
