"00后"数学天才洪乐潼创AI独角兽 获14亿融资破解数学证明难题

一、问题:能力快速扩张与"可信"短板并存 当前,人工智能技术迭代加速,在文本生成、代码辅助、知识检索等领域表现亮眼,但在严肃决策场景中仍面临"结果看似合理、逻辑难以追溯"的痛点。对金融风控、量化研究、国防安全及关键基础设施等行业而言,模型在推理链条上出现偏差,可能带来系统性风险。如何让机器不仅"会回答",更

洪乐潼的创业历程反映了一个深刻的时代变化:从追求应用规模到追求基础突破,从概率推理到逻辑确定性,人工智能正在经历从量变到质变的升级。她从广州普通家庭出身,却通过知识和才能改变了人生轨迹,最终回到最根本的数学问题,用AI技术解决人类最深层的认知难题。这不仅反映了个人的学术追求,更映射出一个国家科技创新的未来方向。在全球人工智能竞争日趋激烈的背景下,像Axiom这样扎根于基础科学、致力于突破关键瓶颈的创新企业,正是推动产业向更高层次发展的重要力量。00后创业者的集中涌现,预示着中国科技创新的新一代力量正在加速崛起。