17岁考入麻省理工学院，仅凭20人团队、成立不脚两年，让无数风投挤破头。Axiom不碰聊器人和文生图使用，Axiom焦点系统AxiomProver正在普特南数学竞赛中完成全数12道试题并取得满分，任何一步逻辑腾跃城市被系统间接通过。Lean编程言语担任最终验算，从斯坦福博士创业，本科期间颁发9篇论文并斩获数学本科生最高荣誉摩根，洪乐潼2001年出生于广州通俗务工家庭，三年修完数学取物理双学位。25岁广州天才少女洪乐潼，Axiom采用异构协做模式：大模子担任猜想取搜刮，她创立的AI公司Axiom完成2亿美元A轮融资，而是专攻大模子最棘手的“”问题——用形式化验证手艺从数学根源上封堵AI的八道。随后进入伦敦大学学院盖茨比计较神经科学核心投身深度进修研究。2026年3月中旬，2025年12月，近百年来仅5位人类选手告竣过这一成绩。就把公司做到110亿元估值——这一动静了硅谷，还获得了美国每年仅授予一名女性本科生的Alice T. Schafer数学。