2026年5月28日，初创公司Axiom Math宣布其提交的8篇由AI生成或形式化证明的数学论文中，已有5篇通过同行评审并被学术期刊接收。创始人洪乐潼，2001年出生于广州，本科毕业于MIT，曾获罗德奖学金，后从斯坦福退学创办Axiom Math。公司于2026年3月完成2亿美元融资，估值达16亿美元。这批论文涵盖数论、代数几何等领域，其中一篇解决了Ballantine等提出的10个猜想中的6个，并发现反例。AxiomProver系统通过Lean形式化证明和机器验证逻辑，实践了人机协作新模式。公司下一步目标是打造自我改进的超级智能推理器，已开始探索博弈论与经济学领域应用。

2026年4月13日，25岁广州天才少女洪乐潼因从斯坦福博士退学创业而引发关注。她创立的AI公司Axiom仅用20人团队、成立不足两年，估值已达110亿元，震惊硅谷。2026年3月中旬，Axiom完成2亿美元A轮融资，跻身独角兽行列。该公司专攻大模型“幻觉”问题，利用形式化验证技术封堵AI胡说八道，并采用异构协作模式提升逻辑严谨性。2025年12月，其核心系统AxiomProver在普特南数学竞赛中取得满分，创历史纪录，同月洪乐潼入选“福布斯30岁以下30人”榜单。洪乐潼出生于普通家庭，17岁考入麻省理工，三年完成数学与物理双学位，曾获多项顶尖学术荣誉，并先后就读牛津和伦敦大学学院，最终选择退学创业。

2026年3月16日，AI初创企业Axiom宣布完成2亿美元A轮融资，估值达16亿美元（约合人民币110亿元），正式跻身全球独角兽行列。公司创始人洪乐潼，一位00后中国女学霸，成为焦点。她祖籍潮汕，出生于广州，自幼展现数学天赋，曾入选广东中学生英才计划。17岁考入麻省理工学院，三年内修完数学和物理双学位，并发表9篇高水平数学论文。此后，她斩获全美女性数学家最高荣誉、中国罗德学者等大奖，最终选择退学创业。Axiom专注于为对冲基金和量化交易员提供‘数学即服务’模式的AI解决方案，旨在解决复杂数学证明问题。洪乐潼因创新贡献入选‘福布斯30岁以下30人’榜单。