25岁广州女孩洪乐潼：寒门逆袭，用数学破解AI行业难题

25岁广州女孩洪乐潼，出身普通务工家庭，却凭硬核技术惊艳全球。她17岁考入麻省理工，3年拿下数学物理双学位，斩获北美数学最高荣誉，斯坦福读博期间退学创业。

其创办的AI公司Axiom，首创数学形式化验证系统，彻底根治AI“幻觉”问题，还攻克学界数十年数学难题。公司成立一年便获14亿融资，估值达110亿，世界级数论泰斗也全职加盟。

从寒门学霸到AI行业新星，她的逆袭既励志又硬核，也为AI技术发展开辟新方向，属实是当代青年榜样。

你被这位年轻学霸的经历打动了吗？

#25岁天才少女拿下超14亿融资# http://t.cn/AXIFvFOZ