00后AI天才，广东制造
背景：广东制造与AI人才的崛起
广东作为中国制造业和科技创新的重要基地，近年来积极推动智能制造与人工智能技术的发展。在政府与资本的双重加持下，这片热土孕育出不少年轻的科技创业者。其中，来自广州的00后数学天才洪乐潼尤为引人注目。她不仅在学术领域早早展露锋芒，更在创业赛道中展现出不凡的远见和实力。
成长轨迹与技术选择
洪乐潼的成长路径堪称“学霸天花板”：
- 17岁被麻省理工学院录取
- 仅用三年完成数学与物理双学位
- 期间发表9篇研究论文，涵盖数论、组合数学等多个领域
- 硕士阶段进入牛津大学，并成为罗德学者
- 后在斯坦福大学攻读博士学位，但选择中途退学创业
不同于大多数AI初创公司扎堆于聊天机器人或图像生成等领域，洪乐潼选择了AI的“数学地基”——逻辑推理。她创办的Axiom Math致力于用Lean编程语言构建可验证推理过程的AI系统，解决AI“幻觉”问题，推动AI在数学证明和科学计算上的可解释性与严谨性。
创业融资与估值突破
洪乐潼的Axiom Math成立于2025年初，仅一年时间就完成2亿美元A轮融资，公司估值达16亿美元，折合人民币约110亿元。这一成绩使她迅速跻身全球AI精英行列，并入选福布斯30位30岁以下AI精英榜。
融资背后的核心逻辑是其技术的稀缺性和行业痛点的精准把握：
- AI在应用层竞争激烈，但基础逻辑推理能力仍是短板
- Lean语言在数学界已有基础生态，具备商业化潜力
- 洪乐潼的学术背景与技术能力，使其项目具备可信度与前瞻性
社会反响与舆论争议
洪乐潼的成功引发了广泛讨论：
- “寒门天才”标签：她出身普通家庭，父母为务工者，打破了人们对“天才”的固有想象
- 退学创业质疑：从斯坦福退学引发部分舆论对其职业选择的质疑，但更多人认可她的决断力和清晰目标
- 技术价值争议：有人认为她“0产品拿高估值”缺乏实际成果，但支持者指出其技术路线具备颠覆性潜力
她本人则对“数学怎么赚钱”这一质疑做出回应，强调AI数学推理在未来科学计算、教育、金融等领域的广泛应用前景。
广东科技土壤与青年力量
洪乐潼并非孤例。广东近年来不断涌现优秀的AI创业者：
- 梁文峰：来自湛江吴川，从量化交易跨界AI大模型
- 杨植麟：广东汕头人，清华本科、CMU博士，Kimi大模型创始人
这些青年才俊的成长，离不开广东整体创新创业环境的优化。政府对智能制造的扶持、资本市场的活跃、以及国际化视野的开放，为年轻创业者提供了良好的土壤。
未来展望：重构AI逻辑的野心
洪乐潼的Axiom Math目前虽未推出具体产品，但其技术路线已经吸引包括红杉、GGV在内的顶级投资机构关注。公司正在推进与多所顶尖高校的合作，并计划构建一个开放的AI数学研究平台。
如果Axiom Math能实现其在AI逻辑推理上的突破，将可能改变当前AI“知其然不知其所以然”的现状，为AI在科学研究、工程验证、自动化教育等领域带来深远影响。
洪乐潼的故事，不只是天才少女的逆袭，更是新一代中国青年在全球AI舞台上“精准式突围”的典范。