出生于广州、父母为潮汕籍的洪乐潼，携 AI 公司 Axiom Math 以 6400 万美元种子轮融资、3 亿美元估值惊艳硅谷，成为岭南科创精神的新代言人。 这位 24 岁的广州姑娘， ...

初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

洪乐潼受访者供图本报讯（记者王兆昱）日前，记者从初创公司AxiomMath联合创始人洪乐潼（CarinaHong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用 ...