00后创始人洪乐潼及其AI创业公司Axiom - 洪乐潼是00后创始人，出生于广州，曾就读于华南师大附中，多次获得奥数竞赛奖牌，后考入麻省理工学院，硕士毕业于牛津大学，目前正在斯坦福大学攻读数学和法学博士双学位 [1][3][6] - 洪乐潼创立AI初创公司Axiom，专注于数学领域，目标是让AI能够像数学家一样构建和验证形式化证明，目标客户包括对冲基金和量化交易公司 [7][8] - Axiom正在进行5000万美元融资谈判，估值预计达3亿-5亿美元，尽管目前尚未开发出产品 [1][8] - 洪乐潼在社交媒体否认融资消息，但确认Axiom正在招聘AI数学人才 [1][9] 洪乐潼的学术背景与成就 - 洪乐潼本科期间担任麻省理工学院数学协会主席，修读20个硕博课程，发表多篇高质量学术论文，涉及模椭圆曲线与K3曲面的L函数、月光猜想等领域 [3] - 获得Schaefer数学卓越奖（每年仅颁发给一名本科女生）和北美数学本科生最高荣誉摩根奖（第五位获此殊荣的女生） [3] - 2021年底获得牛津大学罗德奖学金（全球每年约100位），被称为"本科诺贝尔奖" [6] - 硕士期间在伦敦大学学院进行人工智能和机器学习研究，关注"人工智能与科学家未来的互动"课题 [6] AI领域的00后创业者崛起 - AI初创公司Anysphere完成9亿美元融资（约65亿元人民币），估值达90亿美元（约650亿元人民币），由四位麻省理工学院毕业生创立 [11] - AI招聘网站Mercor完成1亿美元B轮融资，估值达20亿美元（约145亿元人民币），由三位退学的00后大学生创立 [11] - AI编程公司Magic获NVIDIA、Sequoia等机构超5亿美元投资，估值15亿美元，由2000年出生的剑桥大学辍学生创立 [11] - 国内00后创业者包括灵初智能联合创始人陈源培（Stanford访问学者）和UniX AI创始人杨丰瑜（密歇根大学本科，耶鲁博士） [12] 00后创业者的特点与优势 - 00后创业者普遍具有名校背景、奥赛奖杯、国家奖学金等优秀履历，国际化视野突出 [12] - 在AI创业潮中，00后与90后、80后创始人站在同一起跑线，甚至更具优势，因为他们没有经验包袱，对新事物认知更敏锐 [12] - "先上桌，再吃饭"成为00后AI创业者的共识，他们抓住时代红利，快速进入新兴领域 [12]