最近听了一个很厉害的故事。洪乐潼，这个在广州天河区长大的24岁姑娘，2019年直接跳级去了麻省理工学院念数学和物理双学位。她在学校表现特别好，拿下了北美本科生数学界最牛的两个奖，爱丽丝·谢弗奖和摩根奖。2022年，她又拿了中国的罗德奖学金，跑去牛津读神经科学硕士。2024年转学到斯坦福，决定读数学和法学双博士。但谁能想到呢？2024年秋天，她突然宣布退学了。她把这个消息告诉朋友圈的时候，大家都惊呆了。退学后，她拉着Meta的研究员Shubho Sengupta一起成立了新公司Axiom Math。她的团队里还有弗吉尼亚大学的小野健教授和前Meta AI大牛。他们一起做了一个Axiom Prover系统。这个系统刚上线一天，就解决了一道困扰了30年的数学难题——埃尔德什第124题。过了五天，他们又推翻了第481题的现有结论。以前这些难题人类要啃好几年才能解决，现在用AI几天甚至几小时就能搞定。这次爆发让投资人看到了希望。2025年11月，Axiom Math宣布完成6400万美金融资，估值一下子涨到了3亿美元。洪乐潼把这笔钱都投到了更强大的算力和算法上。她想让这些学术成果变成真正的产品。有人问她退学值不值得？毕竟她放弃了博士学位跑去创业。可是你看看她的成绩单：公司才成立一年就解决了两道世界级难题，还有6400万美金的资金支持。把时间拉长看的话，把荣誉变成产品、把证明变成收入的回报率可能比传统学术还要高得多。24岁的洪乐潼用AI改变了数学证明的游戏规则，也改变了自己的人生轨迹。你怎么看她的选择？