【投融资】红杉、KleinerPerkins押注数学AI革命：HarmonicB轮融资1亿美金，打造...

主要观点总结

文章介绍了人工智能初创公司Harmonic AI的融资情况和发展目标。该公司由Robinhood Markets的CEO弗拉德·特涅共同创立，致力于解决AI模型在解决数学问题上的难题。近期目标是打造超越人类水平的数学解题能力AI，终极目标则是攻克数学领域未解决的难题，并将其拓展至物理学和计算机科学领域。公司通过形式化验证的方法消除聊天机器人编造信息的情况，保证模型的每一个输出和推理步骤都经过可验证的正确性检验。

关键观点总结

关键观点1: Harmonic AI公司融资情况

Harmonic AI已完成B轮融资，筹集资金1亿美元，估值达到8.75亿美元。该公司此前已从红杉资本和Index融资7500万美元。

关键观点2: Harmonic AI公司目标和策略

Harmonic AI致力于开发解决复杂数学问题的人工智能系统，打造所称的“数学超级智能”。计划向研究人员和公众开放其旗舰AI模型Aristotle。通过形式化验证的方法消除聊天机器人的幻觉问题。

关键观点3: 公司CEO的观点和计划

公司CEO Tenev表示，他们的策略应能使Harmonic AI优于支撑AI聊天机器人的大型语言模型。Tenev还强调了追求估值最大化并非明智之选，并分享了他们对人工智能未来发展的看法。