MIT学霸：广州00后洪乐潼公司 估值飙破16亿美金

广州出生长大的00后女孩洪乐潼，仅用3年即修毕麻省理工学院（MIT）数学和物理双学位，在斯坦福大学博士在读期间退学，创立AI公司Axiom。该公司近获得2亿美元的A轮融资，消息令公司估值急飙，升至市值16亿美元（约125.3亿港元）。

成功获2亿美元A轮融资

据快科技报道，洪乐潼（Carina Letong Hong）创立Axiom约1年多，聚焦AI数学基础层缺陷，核心逻辑是通过Lean程式语言建构验证系统，强制AI在推理时步步可验证，杜绝“幻觉”问题。其系统在无人干预下攻克两道困扰数学界数十年的世界级难题，引发学术界震动。

公开资料显示，Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题。