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