美国版梁文锋金融CEO跨界AI创业DeepSeek火了，美国也来了个“梁文锋”。美国互联网券商巨头Robinhood的CEO——VladTenev【图1】，与TudorAchim联合打造了人工智能初创公司HarmonicAI。这跨界的方式和路径，不就是幻方量化、DeepSeek创始人梁文锋嘛。而且美版梁文锋的AI创业，跟DeepSeek一开始的路径也很像，从数学突破开始。目前HarmonicAI已经完成B轮融资，拿到1亿美元，估值8.75亿美元，距离“独角兽”只差临门一脚。简单回顾一下背景和进展：-创始人背景VladTenev本科斯坦福、硕士UCLA，2013年创立Robinhood，靠免费交易颠覆传统券商，美股市值曾达227亿美元。2025年一季度Robinhood利润创新高，净利率36%。【图2】联合创始人TudorAchim【图3】则是卡内基梅隆计算机出身，曾联合创办自动驾驶AI公司Helm.ai，熟悉大模型训练。-融资进展A轮就拿到7500万美元，由红杉、Index等领投。B轮新增KleinerPerkins、Paradigm等大机构，老股东继续加码，显示资本对其方向认可。-首个模型Aristotle已发布【图4】主打“自动形式化”能力，把自然语言转成数学表达式，用于解题或和数学家协作。在经典基准MiniF2F上准确率从83%提升到90%。-为什么从数学开始？Harmonic认为，数学是通往通用智能的起点。通过提升AI的数学与逻辑能力，能从根本上减少“幻觉”（AI胡说八道）问题，并拓展到物理、计算机科学等严谨领域。
