25岁广州数学天才洪乐潼，拥有麻省理工、牛津大学求学经历，毅然从斯坦福大学辍学，创办AI公司Axiom。公司聚焦研发“AI数学家”系统，依托数学逻辑攻克AI代码漏洞验证难题，产品主要服务对冲基金、量化交易机构，助力解决资产定价、市场预测等复杂数学问题。 2024年8月，Axiom斩获960万美元种子轮融资；今年3月，再获Menlo Ventures等知名风投2亿美元A轮融资，折合人民币超14亿元，公司估值达16亿美元，约合110亿元人民币。