00后，0产品，估值20亿！

近日，一位00后女生名字频繁刷屏创投圈——洪乐潼（Carina Hong）。这位斯坦福大学数学与法学双博士在读的潮汕女孩，仅凭一个尚未推出产品的AI初创公司Axiom，便斩获3-5亿美元估值，成为全球AI赛道最耀眼的“新星”。她的故事，不仅是一个天才少女的逆袭传奇，更揭示了00后创业者如何以“技术硬核”撕开AI时代的新风口。

一、从华南师大附中到斯坦福：天才少女的“开挂”人生

数学天赋初显：高中时期，她已是全国高中数学联赛省队唯一女生，多次斩获“华罗庚金杯”等竞赛大奖 。

学术“顶流”之路：2019年考入麻省理工学院（MIT），3年完成数学与物理双学位，发表论文涵盖数论、组合学等前沿领域，获北美数学界最高荣誉摩根奖 。

国际视野：2021年获牛津大学罗德奖学金（全球仅100人），主攻神经科学；2024年进入斯坦福攻读数学博士，同时辅修法学，形成“数学-法律-生物”跨学科思维 。

关键洞察：她的学术积累并非纸上谈兵。在MIT期间，她已意识到AI大模型的致命短板——数学推理能力薄弱。例如，ChatGPT虽能“背题”，却无法展示严谨证明过程，OpenAI模型更被曝出“作弊”争议 。

二、Axiom：用AI重新定义数学的“公理革命”

洪乐潼的创业项目Axiom（意为“公理”），瞄准的是AI数学领域的“无人区”：

技术突破：通过编程语言训练AI掌握形式化数学证明，确保答案的逻辑严密性。例如，解决组合优化问题时，模型需像数学家一样推导每一步，而非依赖数据匹配 。

市场定位：瞄准对冲基金、量化交易机构，为其提供高频、精准的数学模型服务。例如，衍生品定价、风险评估等场景，传统依赖人工建模，而Axiom可缩短90%时间 。

行业痛点：当前AI在组合数学领域几乎空白，而洪乐潼的研究恰好填补这一空白。谷歌虽在IMO几何题中接近人类水平，但组合数学得分不足5% 。

谷歌的AI在2024年IMO比赛中相对于人类竞争对手的表现，获得了总分42分中的28分，达到了与比赛中银牌得主相同的水平

争议与挑战：尽管Axiom尚未推出产品，但其估值已引发质疑。洪乐潼回应：“我们正在构建数学逻辑的底层框架，而非追逐短期热点。”

三、00后创业潮：技术革命下的“新贵”逻辑

洪乐潼的崛起绝非偶然。2025年，00后正以“无包袱、强跨界”重塑创投格局：

技术信仰：与父辈依赖经验不同，00后更愿押注“从0到1”的颠覆性创新。例如，洪乐潼放弃金融高薪，选择冷门的数学AI赛道 。

全球化视野：她同时活跃于MIT、牛津、斯坦福学术圈，并与硅谷顶级风投B Capital（曾投Perplexity）建立联系，展现资源整合能力 。

资本逻辑：投资人看重的是“创始人本身”。正如真格基金戴雨森所言：“无知者无畏，00后更能打破行业惯性。”

四、未来展望：AI数学的“中国方案”能否跑出？

洪乐潼的野心不止于商业。她曾公开表示：“希望打造一个开源数学证明平台，让全球研究者共享AI推导成果。” 若能实现，或将改写数学研究范式——从“个体天才”转向“人机协同”。

从华南师大附中的竞赛场到硅谷的AI实验室，洪乐潼用十年完成了从“小镇做题家”到“科技新贵”的蜕变。她的故事提醒我们：在技术革命面前，年龄与经验未必是优势，唯有对本质问题的追问与坚持，才能定义下一个时代。

正如她所言：“数学是宇宙的语言，而AI是我们与它对话的新工具。”这场由00后主导的数学革命，或许正是中国科技突围的下一个爆点。