4月6日，话题词“25岁天才仙女拿下超14亿融资”登上微博热搜。

据了解，这位25岁的广州数学天才仙女名叫洪乐潼，17岁毕业于麻省理工学院，三年拿下数学 、物理双学位，本科时候发布9篇高水平论文，并斩获北好意思数学最高荣誉摩根奖。如今牛津大学毕业后，她从斯坦福退学，创立东说念主工智能公司，数周前刚拿下2亿好意思元融资，估值达16亿好意思元，约合东说念主民币110亿元。

其暗示热衷于用AI来作念数学，“数学怎么得益?咱们从一运转就濒临这个挑战。目下，交易信号依然明晰，很无数学能创造价值，是因为它能自我考证、自我查验。”

洪乐潼的公司取名Axiom(公理)诡计是创造“AI数学家”，一群数学家在捣饱读的业务，简而言之即是打造能自动考证估量机代码的AI系统，旨趣访佛于数学家讲明复杂数学贫困，其价值在于，用AI写代码，无法知说念代码何时存在马虎。

凭借这个念念法，2024年8月洪乐潼就拿下了960万好意思元种子轮投资，大体约6600万元东说念主民币，在她的设念念中，将来Axiom的居品可就业于对冲基金和量化来去公司，可快速处罚与钞票订价、股市掂量联系的复杂数常识题。

3月中旬，洪乐潼晓谕Menlo Ventures,Greycroft and Madrona等风投公司，筹集到2亿好意思元A轮融资，约合东说念主民币14亿元。目下，Axiom领有20多名职工，洪乐潼忙着招兵买马，她在外洋酬酢平台上泛泛发布招聘信息，寻找有志于“用AI作念数学”的同路东说念主。

洪乐潼，2001年，出身于广州市河汉区，父母皆是普通务工者，从未上过大学，曾就读于华南师大附中，数学资质很早就显表示来。高一，她就在天下数学奥林匹克遴荐中晋级，并在华罗庚杯、天下高中数学联赛中屡获佳绩。

开端：皆市现场、21世纪经济报说念、看珍重频赌钱赚钱app