25岁天才少女拿下超14亿融资，公司估值110亿，海外发布招聘信息

在竞争激烈且人才辈出的当代社会，有一位来自广州的25岁数学天才少女洪乐潼，宛如一颗璀璨的新星在科技与数学领域闪耀着独特的光芒。

洪乐潼的学习经历堪称一部令人惊叹的传奇。年仅17岁时，她便以优异的成绩从世界顶尖学府麻省理工学院毕业。在常人还在为高考拼搏的年纪，她已经踏入了高等学术的殿堂，并展现出了非凡的天赋和智慧。在麻省理工的三年时间里，她更是创造了令人瞩目的成就，一举拿下了数学和物理双学位。本科期间，她展现出了超强的学术研究能力，发布了9篇高水平论文。这些论文涉及数学和物理领域的多个前沿课题，每一篇都凝聚着她的心血和智慧，为相关领域的研究提供了新的思路和方向。她还斩获了北美数学最高荣誉摩根奖，这一奖项是对她在数学领域卓越成就的高度认可，也让她在国际数学界崭露头角。

完成麻省理工的学业后，洪乐潼又前往牛津大学深造。在牛津大学的学习经历，进一步拓宽了她的学术视野，让她接触到了更多国际前沿的学术思想和研究方法。然而，她并没有满足于在学术道路上的稳步前行。从牛津大学毕业后，她做出了一个大胆的决定——从斯坦福退学，转而投身创业的浪潮。她创立了一家人工智能公司，这一决定在当时引起了不小的轰动。数周前，她的公司刚拿下了2亿美元的融资，公司估值达16亿美元，约合人民币110亿元。如此高额的融资和惊人的估值，充分证明了市场对她的公司和创业理念的高度认可。

洪乐潼热衷于用AI来做数学，她曾表示：“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”这一独特的观点体现了她对数学和商业结合的深刻理解。她的公司取名为Axiom（公理），目标是创造“AI数学家”。从专业角度来看，这是一群数学家在捣鼓的业务，简而言之就是打造能自动验证计算机代码的AI系统。其原理类似于数学家证明复杂数学难题，这一系统的价值在于解决了用AI写代码时难以察觉代码漏洞的问题。在传统的编程过程中，即使是经验丰富的程序员也难以避免代码中出现漏洞，而这些漏洞可能会导致系统出现故障，甚至造成严重的后果。而Axiom的AI系统能够自动对代码进行验证和检查，大大提高了代码的可靠性和安全性。

凭借这个具有创新性和前瞻性的想法，2024年8月洪乐潼就拿下了960万美元种子轮投资，大体约6600万元人民币。这笔资金为公司的初期发展提供了重要的支持，让她能够组建团队、开展研发工作。在她的设想中，未来Axiom的产品可服务于对冲基金和量化交易公司。在金融领域，资产定价和股市预测是非常复杂且关键的问题，涉及到大量的数学模型和计算。Axiom的产品能够快速解决这些与资产定价、股市预测相关的复杂数学问题，为金融机构提供更加准确和高效的决策支持。

到了3月中旬，洪乐潼再次传来好消息，她宣布从Menlo Ventures、Greycroft and Madrona等风投公司筹集到2亿美元A轮融资，约合人民币14亿元。这笔巨额融资将为公司的进一步发展注入强大的动力，有助于公司扩大研发规模、提升技术水平、拓展市场份额。目前，Axiom拥有20多名员工，虽然团队规模还不算大，但都是各个领域的精英人才。洪乐潼并没有满足于此，她忙着招兵买马，在海外社交平台上频繁发布招聘信息，积极寻找有志于“用AI做数学”的同路人。她希望能够吸引更多优秀的人才加入团队，共同推动Axiom的发展，实现用AI改变数学研究和应用的梦想。

洪乐潼的故事不仅仅是一个天才少女的成功创业案例，更是对当代年轻人的一种激励。她用自己的实际行动证明了，只要有梦想、有才华、有勇气，就能够在科技和商业领域闯出一片属于自己的天地。她的创新精神和对数学与AI结合的探索，也为未来的科技发展提供了新的方向和可能性。相信在她的带领下，Axiom将会在人工智能和数学领域取得更加辉煌的成就。