25 岁广州 00 后洪乐潼：用数学让 AI 推理可验证，公司 Axiom 获 2 亿 A 轮融资估值 16 亿

AI 大模型虽能力强大，但幻觉问题一直是行业痛点——在金融、国防等关键领域，概率性错误可能引发灾难。25 岁广州 00 后洪乐潼创办的 Axiom 公司，正用数学解决这个难题：让 AI 推理像数学证明一样每步可验证。

近日，Axiom 宣布完成 2 亿美元 A 轮融资，估值达 16 亿，成立不到一年就成为独角兽。洪乐潼团队采用 Lean 语言训练 AI，输出带可验证证明过程，彻底杜绝模糊地带。弗吉尼亚大学终身教授 Ken Ono 甚至辞职加入，只因见证了数学超级智能的可能。

这一代 00 后创业者如洪乐潼，不为风口而是为解决技术难题创业，正在改写 AI 行业的叙事规则。