一位来自广州的00后女孩洪乐潼，以近乎“逆天”的成长轨迹，再次打破了公众对于“天才家庭背景论”的刻板印象。她出身普通打工人家庭，父母没有显赫的社会地位或雄厚的资金支持，却靠孩子过人的天赋、极致的自律与数十年如一日的坚持，走出了一条通往世界科技顶峰的逆袭之路。25岁这年，她带领旗下AI初创企业Axiom成功完成14亿人民币A轮融资，公司估值飙升至110亿元，不仅斩获顶级资本的一致追捧，更成功入选福布斯30岁以下30人榜单，成为全球青年科技创业者的标杆。
洪乐潼的求学之路，是人类顶尖智力的集中爆发。17岁那年，她凭借优异的数理竞赛成绩和超强的学习能力，被全球理工科殿堂麻省理工学院（MIT）提前录取。在MIT的三年时光里，她压缩学制，修完了数学与物理双学位，表现出的科研能力令导师惊叹。本科期间，她在顶级期刊发表9篇高水平学术论文，并斩获全美女性数学家最高荣誉及北美数学本科生摩根奖，成为学界瞩目的新星。19岁时，她成功入选全球极具含金量的罗德学者，赴牛津大学深造，随后又进入斯坦福大学攻读数学与法学双博士学位，站在了全球学术的金字塔尖。
但她并未止步于学术象牙塔。面对当前AI大模型普遍存在“幻觉”、推理不可控的行业痛点，洪乐潼毅然决定退学创业，创办了Axiom。这家公司堪称AI领域的“特种部队”，核心特色在于专攻可验证人工智能（Verifiable AI）这一极高难度的底层赛道。不同于市面上追求参数规模、靠概率输出的大模型，Axiom依托形式化验证与数学逻辑推理为底层技术，自主研发出Axiom Prover系统，基于数学证明语言Lean构建，确保AI的每一步推理都能被机器严格核验，逻辑闭环且绝对严谨，从根源上杜绝了AI“胡说八道”的可能性。
这种极致的技术硬核力，让Axiom在行业中独树一帜。公司曾创下1天攻克悬置30年的数学难题、5小时推翻悬置45年的学术结论的奇迹，并在普特南数学竞赛中拿下满分成绩。这种数学与AI的深度融合，使其精准切入了金融风控、航空航天、高端制造等对可靠性要求极高的领域。在商业变现上，Axiom主打数学即服务（MLaaS）模式，将高精度的数学推理能力封装成企业可直接使用的生产力工具。
此次14亿融资由顶级风投Menlo Ventures领投，Greycroft、Toyota Ventures等机构跟投。这不仅是对Axiom技术壁垒的认可，更是对洪乐潼这位年轻创始人能力的最高奖赏。从一个广州普通家庭的女孩，到MIT学霸、罗德学者，再到手握14亿融资的科技新贵，洪乐潼用实力证明，阶层无法禁锢梦想，数学与AI的力量，足以重构未来。
