00后天才洪乐潼：Axiom AI以数学验证重塑AI未来 | AI资讯

type

status

date

slug

summary

00后天才少女的崛起：从MIT到AI独角兽

洪乐潼，这位25岁的广州00后，以其传奇般的履历震惊了全球科技圈。她并非出身名门，父母是普通的务工者，但她从小就展现出非凡的数学天赋。17岁考入麻省理工学院（MIT），仅用三年时间便修完数学与物理双学位，期间发表了9篇高质量学术论文，并荣获全美女性数学家最高荣誉Alice T. Schafer数学奖。随后，她又获得牛津大学罗德奖学金，并曾在斯坦福大学攻读数学与法律双学科博士。然而，面对AI领域的巨大挑战，她毅然选择退学创业，创立Axiom，旨在从根本上解决大模型的可靠性问题。

她的故事，无疑是AI门户网站上关于新一代创业者最引人注目的篇章之一，也让人们看到了00后在LLM和通用人工智能（AGI）领域的巨大潜力。

Axiom的核心创新：用数学终结AI“幻觉”

当前的大模型，本质上是概率机器，它们通过海量数据学习模式，基于统计规律给出答案。这种机制在日常应用中或许无伤大雅，但在金融、国防、关键基础设施等对准确性要求极高的领域，任何基于概率的错误都可能带来灾难。这正是许多AI新闻中反复提及的“AI幻觉”问题。

洪乐潼和Axiom的解决方案是：让AI像数学家一样工作。他们提出“数学即服务”模式，通过训练AI系统生成用Lean语言编写的、经过形式化验证的输出。Lean是一种专为数学证明设计的编程语言，它能确保AI模型推理过程的每一步都是可机器检查的，并在逻辑上得到严格保证。这意味着，Axiom的系统不仅提供答案，还附带一个完整的、可验证的证明过程，彻底杜绝了“大概是对的”模糊地带。这种对“绝对正确”的追求，是AI迈向更高阶发展的基石。

卓越成果：AI在数学领域的突破性表现

Axiom的创新理念并非纸上谈兵。去年12月，Axiom的核心系统在北美最负盛名的普特南大学生数学竞赛中斩获满分，12题全对，成为近百年来仅有的第六个满分成绩。这足以证明其数学推理能力的强大。

更令人惊叹的是，Axiom还可验证地证明了一个已有20年历史的数论猜想，以及埃尔德什问题集中第124题和第481题的形式化证明，且全程无人为干预。这些成就不仅展示了Axiom在基础数学领域的深厚实力，也预示着这种“绝对正确”的数学推理能力，未来将通过迁移学习引入到代码验证、科学发现等更广泛的领域，为各种大模型应用提供坚实可靠的基础。

顶尖人才汇聚：理想主义者的梦想团队

Axiom的成功，离不开其背后强大的“梦之队”。弗吉尼亚大学终身教授、世界顶尖的拉马努金数学权威Ken Ono，在亲眼见证Axiom系统的强大后，毅然辞去稳定教职，全职加入Axiom担任创始数学家。CTO Shubho Sengupta曾是Meta AI研究总监，是CUDA技术的早期开发者。核心科学家François Charton则是将Transformer模型引入数学领域的先驱。

这些顶尖人才的汇聚，不仅是Axiom技术实力的体现，更是对洪乐潼及其“理想主义者”愿景的认可。正如洪乐潼所言，Axiom的目标不仅仅是修补AI的缺点，更是要无限压缩“把好奇心转化为真理的时间”，直指AI的上限，探索通向超级智能的阶梯。

展望未来：00后开启AI新篇章

洪乐潼和Axiom的故事，是新一代00后创业者在AI领域崭露头角的缩影。他们不再盲目追逐风口，而是聚焦于解决AI领域最核心、最困难的技术问题。从AI资讯中我们不难发现，越来越多的年轻一代正在以其独特的视角和勇气，推动着人工智能的边界。

Axiom的成功融资和技术突破，无疑为整个AI行业树立了新的标杆。它提醒我们，在追求大模型能力狂飙突进的同时，对可靠性和准确性的坚守同样至关重要。未来，Axiom的数学验证AI技术有望在金融、医疗、自动驾驶等高风险领域发挥关键作用，为我们打造一个更加安全、可信赖的AI世界。

想了解更多前沿AI资讯、AI新闻，探索AGI、LLM、大模型等最新进展，请访问我们的AI门户网站：https://aigc.bar