25岁辍学创业，一年内公司估值飙升至110亿，这位广州天才少女洪乐潼，究竟是如何用AI实现数学家的梦想的？
2026年3月中旬，硅谷AI圈被洪乐潼这个名字刷屏了。她创立的AI初创公司Axiom，在成立不到一年的时间里，就完成了2亿美元的A轮融资，估值高达16亿美元，成功跻身全球最年轻独角兽行列。洪乐潼，这位毕业于麻省理工学院和牛津大学，又在斯坦福攻读博士期间选择辍学创业的天才少女，她的目标很明确：创造“AI数学家”。Axiom的核心业务是打造能自动验证计算机代码的AI系统，这个系统的原理，就类似于数学家证明复杂数学难题，旨在从根本上杜绝代码漏洞。凭借这一创新想法，洪乐潼在2024年8月就已获得了960万美元的种子轮投资。她坚信，数学能创造价值的关键在于其能自我验证、自我检查。目前，Axiom团队虽小但专注，正积极招募志同道合的伙伴，共同探索AI与数学的无限可能。
洪乐潼和她的Axiom，正用AI书写着数学家的新篇章。未来，她们的技术将服务于更多领域，解决更多复杂数学问题。你对这位天才少女的创业故事有什么看法呢？快来评论区留言讨论吧！