出身普通家庭，00后学霸组AI公司，估值飙破20.4亿！ 　　广州出生长大的00后女孩洪乐潼，仅用三年即修毕麻省理工学院数学和物理双学位，在史丹福大学博士在读期间退学，创立AI公司Axiom。该公司最近获得2亿美元（约2.6亿新元）的A轮融资，消息令公司估值急飙，升至市值16亿美元（约20.4亿新元）。 　　据快科技报道，洪乐潼创立Axiom约1年多，聚焦AI数学基础层缺陷，核心逻辑是通过Lean程式语言建构验证系统，强制AI在推理时步步可验证，杜绝“幻觉”问题。其系统在无人干预下攻克两道困扰数学界数十年的世界级难题，引发学术界震动。