#数学超级智能# 【师从陶哲轩的券商巨头打造“数学超级智能”，要用AI解决千禧年难题，估值已达近9亿美元】

股票交易平台 #Robinhood# 的 CEO Vlad Tenev 此前创办的 AI 公司再次获得资本市场青睐。7 月 9 日，他与合伙人共同创办的 AI 初创公司 Harmonic 宣布完成 1 亿美元 B 轮融资，公司估值达到 8.75 亿美元，接近独角兽门槛。这轮融资由知名风投机构 Kleiner Perkins 领投，Paradigm 等多家机构跟投。

这家成立仅两年的公司专注于一个颇为前沿且具有挑战性的领域——数学超级智能（MSI，Mathematical Superintelligence）。与目前主流的大语言模型（LLM，Large Language Model）不同，Harmonic 试图从根本上解决 AI“幻觉”问题，即模型编造虚假信息的现象。他们的解决方案是让 AI 掌握严谨的数学推理能力，通过形式化验证确保每一个推理步骤都是可验证的。

能够在这个极其专业的领域取得突破，很大程度上源于 Vlad Tenev 深厚的数学功底。这位保加利亚裔美国企业家 5 岁时随父母移居美国，在弗吉尼亚州的托马斯·杰斐逊科学技术高中就读，随后进入美国斯坦福大学攻读数学学士学位。在斯坦福期间，他遇到了后来的 Robinhood 联合创始人 Baiju Bhatt。大学毕业后，Tenev 进入美国加州大学洛杉矶分校（UCLA）攻读数学博士学位，师从著名数学家的#陶哲轩# 。

在 UCLA 的求学经历对 Tenev 影响颇大。陶哲轩以其在多个数学领域的卓越贡献而闻名，从数论、组合学到调和分析，他都有开创性工作。更重要的是，陶哲轩近年来积极参与 Lean 编程语言的推广——而这种语言正是 Harmonic 技术路线的核心。

戳链接查看详情：http://t.cn/A6kc0NTL