洪乐潼：我和陶哲轩，就差一步AI深度学习驱动

24岁广州女孩Carina Hong（洪乐潼），MIT数学物理双学位、牛津硕士、斯坦福博士辍学，创办Axiom Math公司，获6400万美元种子轮，估值3亿美元。招募Meta FAIR顶尖研究员，目标构建“AI数学家”——能独立发现新定理、正式证明、自我迭代。

她在The Neuron播客访谈中直言：“我和陶哲轩的差距，就是验证技术性引理的那一步。”AI若可靠生成繁琐中间步骤，就能抹平差距，甚至超越人类，启发顶级数学家。

突破：用AI解决130年李雅普诺夫函数构造难题（曾难倒庞加莱等）；用生成方法推翻30年图论猜想。

为何数学？数学是AI通往科学的支柱，转移到物理、编程、金融等领域。“没有证明的计算是不完整的。”

策略：合成数据自举，解决正式证明数据稀缺。

愿景：推理IDE，全验证、无幻觉，推动数学超智能。

Axiom Math正加速数学发现，未来或重塑科学！