2025年7月10日，美国互联网券商巨头Robinhood的CEO Vlad Tenev联合Tudor Achim创立的人工智能初创公司Harmonic AI完成B轮融资，筹集1亿美元，估值达8.75亿美元。该公司专注于开发解决复杂数学问题的AI系统，目标是构建数学能力超越人类的超级智能（MSI）。其首个模型Aristotle已发布，具备自动形式化能力，并在MiniF2F基准测试中表现优异。Tenev表示，最终目标是解决重大未解数学问题，并扩展到物理与计算机科学领域，推动实现AGI（通用人工智能）。此轮融资由Kleiner Perkins领投，多家知名机构跟投。