在人工智能领域，一位来自中国广州的年轻创业者正以惊人的速度改写行业规则。由25岁科学家洪乐潼创立的AI公司Axiom，凭借突破性技术解决大模型核心痛点，成立不到两年便跻身独角兽行列，最新估值达110亿元人民币。这家仅有20人的初创企业，在完成2亿美元A轮融资后，已成为硅谷风投圈竞相追逐的对象。
与传统AI公司聚焦聊天机器人或图像生成不同，Axiom将研发重心放在消除大模型"幻觉"这一行业难题上。其独创的异构协作系统通过数学形式化验证技术，构建起严密的逻辑防火墙——当大模型进行猜想与搜索时，Lean编程语言会同步进行终极验算，任何逻辑跳跃都会被系统自动拦截。这种从数学根源杜绝错误输出的机制，为AI可靠性树立了新标杆。
2025年12月，该公司的核心系统AxiomProver在普特南数学竞赛中创造历史。这个被视为"数学界诺贝尔奖"的顶级赛事，要求参赛者在6小时内解答12道高难度试题。AxiomProver不仅完成全部题目，更取得满分成绩，成为近百年来第五位达成此成就的"选手"，此前四位均为人类顶尖数学家。
洪乐潼的学术履历同样令人惊叹。这位出身广州普通务工家庭的天才少女，17岁即被麻省理工学院破格录取，用三年时间完成数学与物理双学位。本科期间她发表9篇学术论文，先后斩获北美数学本科生最高荣誉摩根奖、专为女性设立的Alice T. Schafer数学奖。2021年获得罗德奖学金后，她先后在牛津大学、伦敦大学学院开展神经科学研究，最终选择在斯坦福攻读数学与法律双博士期间退学创业。
这位年轻创始人的成长轨迹充满传奇色彩：从广州街头到世界顶尖学府，从神经科学实验室到AI创业战场，她始终保持着对数学本质的探索热情。在入选2025年"福布斯30岁以下30人"榜单时，评委会特别指出："洪乐潼正在用数学语言重构人工智能的底层逻辑，这种跨学科思维可能引发行业范式革命。"
目前，Axiom的技术已引起金融、医疗等高风险领域的关注。其系统能将复杂决策的逻辑错误率降低至十亿分之一，这项突破性成果或将重新定义AI在关键领域的应用边界。随着新一轮融资完成，这家年轻公司正加速推进技术商业化，其创新模式正在全球科技界引发连锁反应。
