美国版梁文锋金融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胡说八道)问题,并拓展到物理、计算机科学等严谨领域。