25岁广州女孩硅谷造AI独角兽，110亿估值背后，是我们留不住的天才吗？ 洪乐

25岁广州女孩硅谷造AI独角兽，110亿估值背后，是我们留不住的天才吗？ 洪乐潼！这个广州务工家庭的00后女孩，17岁上MIT，牛津硕士，斯坦福博士读到一半退学，在硅谷创办Axiom，一年估值冲到110亿。 更震撼的是，57岁的数学泰斗小野健，美国数学学会前副会长，辞去弗吉尼亚大学终身教职，带着全家搬到硅谷，工牌编号015，给这个25岁的学生打工。他说：“如果我的猜想能被机器在3天内推广到10个维度，我愿意当一个标注工。” 有人赞寒门出贵子，有人质疑普通家庭哪供得起MIT留学。但最扎心的是这条评论！如果国内也有大把资本，愿意给25岁的年轻人几亿，去赌一个十年才开花的基础技术，那洪乐潼们，根本不用远走他乡。 她做的正是AI时代最硬核的事，用数学根治AI幻觉。当ChatGPT还在胡说八道时，她的团队用Lean语言打造AI数学家，让代码自我验证。这技术对冲基金，量化交易公司抢着要。 2亿美元融资到手，她说一部分烧算力，一部分招人。硅谷的资本敢为天才买单，我们的环境何时能托住这些野心？技术无国界，但人才有故乡。下一个洪乐潼，能否在家门口就融到14亿？