图灵汇官网

近年来，随着人工智能领域的快速发展，越来越多的年轻人开始崭露头角。其中，一位名叫洪乐潼的00后学霸逐渐引起了广泛关注。

洪乐潼出生在广州，从小就展现出对数学的浓厚兴趣。她在华南师范大学附属中学就读期间，多次在各类数学竞赛中获奖。后来，她考入了麻省理工学院，攻读数学和物理双学位。在校期间，她不仅担任数学协会会长，还修读了多门硕士和博士课程，发表了多篇高水平的学术论文。她的研究领域涵盖了模椭圆曲线与K3曲面的L函数、月光猜想以及弹出栈排序算法等。

洪乐潼在学术上的成就让她获得了多项荣誉。她曾荣获Schafer数学卓越奖，这是每年仅授予一名本科女生的奖项。此外，她还获得了北美数学本科生的最高荣誉——摩根奖，成为该奖项的第五位女性得主。

2021年底，洪乐潼成功获得了牛津大学罗德奖学金，成为当年仅有的四位中国获奖者之一。罗德奖学金是世界上最古老、最具声望的国际奖学金之一，被誉为“本科诺贝尔奖”。她在牛津大学学习神经科学，并获得了硕士学位。在此期间，她还在伦敦大学学院从事人工智能和机器学习的研究。

2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士。在之前的采访中，她提到自己一直是一名研究者，内心深处渴望解决复杂的技术问题。很快，她在读博期间进入了AI领域。

洪乐潼的创业项目也与数学密切相关。她创立了一家名为Axiom的AI初创公司，专注于数学领域。通过学习严密的逻辑推理和数学证明的过程，AI能够像数学家一样构建和验证形式化证明，从而确保结果的准确性与严谨性。Axiom的潜在客户包括对冲基金和量化交易公司，可以帮助它们快速解决金融领域的复杂数学问题。

尽管Axiom目前尚未推出具体产品，但已吸引了投资者的兴趣。曾投资Perplexity等独角兽企业的B Capital正在就新一轮5000万美元的融资进行谈判，或许会领投。Axiom的估值预计在3亿至5亿美元之间。

洪乐潼在社交媒体上否认了关于融资的消息，但她承认Axiom正在积极招募AI数学人才。她的创业项目引起了硅谷和国内创投圈的关注，也让这位00后学霸迅速走红。

这一波AI浪潮中，00后成为了主角。越来越多的年轻人开始在AI领域崭露头角，展现出惊人的潜力和创新能力。