2026年1月15日，芯片巨头英伟达宣布投资初创公司Harmonic，后者专注于开发解决数学问题的AI系统。Harmonic的C轮融资达1.2亿美元，估值升至14.5亿美元，投资者包括英伟达、瑞比特资本、红杉资本等，爱默生集团也加入此轮。其核心模型“亚里士多德”不仅能破解数学难题，还在代码编写和芯片设计领域展现潜力。Harmonic计划扩充团队规模，并将大部分资金用于算力资源。与大型语言模型不同，Harmonic的技术可验证完整推理过程。公司由Robinhood CEO弗拉德・特内夫参与创立，其API目前处于免费测试阶段，收费模式尚未确定。Harmonic CEO表示，英伟达的支持将加速数学探索及AI在高风险领域的应用。

2025年12月1日，数学界迎来重大突破：AI模型Harmonic旗下的Aristotle（亚里士多德）仅用6小时成功证明了悬置近30年的Erdős问题#124简易版。该问题探讨特定条件下大整数的生成规则，原版难度极高，而此次证明的是条件放宽后的版本，且已通过Lean形式化验证。微软前AI副总裁Sebastien Bubeck及数学家陶哲轩均对这一成果表示关注。Harmonic公司由Tudor Achim和Vlad Tenev于2023年创立，目标是打造世界领先的数学推理引擎。其最新融资达1.2亿美元，估值14.5亿美元。Aristotle还计划参加2025年国际数学奥林匹克竞赛，并展现金牌级表现。这一进展标志着AI在复杂数学领域潜力巨大，或推动更多难题被攻克。

2025年7月，美国初创公司Harmonic推出面向IOS和Android的聊天机器人测试版，其AI模型Aristotle以“零幻觉”数学推理能力引发关注。Aristotle在第66届国际数学奥林匹克(IMO2025)中斩获金牌，并在MiniF2F测试集中取得90%的成功率，领先于OpenAI、谷歌等巨头。Harmonic由Robinhood创始人Vlad Tenev和AI专家Tudor Achim联合创立，成立两年估值接近9亿美元，已获红杉资本、凯鹏华盈等顶级机构投资。Aristotle基于Lean形式化验证技术，通过严格逻辑约束解决AI幻觉问题，适用于金融建模、科学推理等高精度领域。尽管面临DeepSeek、谷歌AlphaProof等强劲对手，Harmonic凭借独特技术路线和资本支持，成为AI数学推理领域的新兴力量。

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