25岁广州女生如何打造出110亿独角兽？
创业之路与公司使命
独特的创业起点
2024年深秋，洪乐潼在斯坦福大学附近咖啡馆与ShubhoSengupta交谈后，决定退学创业。不久Shubho成为Axiom首位成员。洪乐潼还拉来数学泰斗小野健，他辞去教职加入，足见洪乐潼的号召力。
明确的公司使命
公司取名Axiom，目标是创造“AI数学家”，打造能自动验证计算机代码的AI系统。其使命是“从AI数学家起步，打造自我改进的超级智能推理器”，致力于解决复杂数学问题，提升AI生成代码质量。
技术突破与市场潜力
关键技术研发
Axiom借助Lean编程语言，研发出能从形式上证明答案是否正确的技术，可杜绝用AI写代码时出现的漏洞问题。这一技术为提升AI代码质量提供了有效途径。
潜在市场价值
在洪乐潼设想中，Axiom产品可服务于对冲基金和量化交易公司，快速解决资产定价、股市预测相关复杂数学问题。投资机构也看好其潜在价值，助力其获得融资。
团队组建与个人魅力
强大的团队阵容
短时间内，洪乐潼组建了由17名顶尖研究人员组成的团队，核心科学家FranoisCharton是相关领域先驱。目前公司有20多名员工，她还在积极招兵买马。
吸引人才的魅力
很多人因专注做技术而来，科学发现时间线被AI大幅压缩，这种“硬核科技”的快速推进比大厂稳定更有吸引力，洪乐潼相信难题会吸引人才聚集。
个人成长与创业感悟
天赋与勤奋的历程
洪乐潼2001年生于广州天河，就读华南师大附中时数学天赋尽显。她在奥数集训中对研究型数学产生兴趣，之后在多所名校求学，发表多篇论文，最终退学创业。
对数学的热爱与感悟
她认为奥赛带来快感，研究型数学虽充满挑战但她喜欢。在难题中她经历三种境界，最终由衷感叹“数学真美”，她的创业之路也是追逐数学之美的过程。
相关问答
洪乐潼是如何想到用AI做数学并创业的？
2024年深秋在咖啡馆与ShubhoSengupta交谈后决定的，她看到了AI在解决数学问题上的潜力，决心打造相关系统，便退学开启创业路。
Axiom的技术原理是什么？
借助Lean编程语言，研发出能从形式上证明答案是否正确的技术，可自动验证计算机代码，杜绝代码漏洞。
洪乐潼是如何招揽到小野健这样的人才的？
她与小野健师生情谊深厚，曾参与其数论项目。她给小野健开出“不设教学、不设行政且100%科研”的合约，加上AI的吸引力，打动了小野健。
Axiom目前的发展情况如何？
已获得2亿美元A轮融资，估值达16亿美元。有不少意向客户，团队不断壮大，洪乐潼还在积极招聘，发展态势良好。
洪乐潼个人在数学领域取得过哪些成就？
她发表9篇学术论文，获北美数学本科生最高荣誉摩根奖及爱丽丝·谢弗数学奖，还获得罗德奖学金，学术成绩斐然。
Axiom未来的产品有怎样的应用前景？
可服务于对冲基金和量化交易公司，能快速解决与资产定价、股市预测相关的复杂数学问题，具有广阔应用前景。
