Harmonic发布AI聊天机器人应用，由Robinhood前CEO创立

由Robinhood首席执行官Vlad Tenev联合创办的AI公司Harmonic，近日宣布推出一款面向iOS和Android的AI聊天机器人应用“Harmonic”，用户可使用其AI模型“Aristotle”进行数学推理问题的解答。该应用目前处于测试阶段，旨在扩大Aristotle的使用范围。 Harmonic声称Aristotle能提供“无幻觉”的数学答案，这在当前AI模型普遍存在可靠性问题的背景下显得尤为突出。公司专注于打造“数学超级智能”（MSI），未来希望帮助用户解决涉及数学的多个领域问题，如物理、统计和计算机科学。 CEO兼联合创始人Tudor Achim表示，Aristotle是首个面向公众提供推理和形式化验证输出的AI产品。他强调，在数学推理领域，Harmonic能确保答案准确无误，不出现幻觉。 Harmonic计划未来推出API供企业使用Aristotle，并开发面向消费者的网页版应用。此次应用发布正值公司不久前完成1亿美元B轮融资，估值达8.75亿美元。Achim表示，投资者认为这一估值反映了公司实现数学超级智能的潜力。 目前，多家科技公司都在努力训练AI解决数学问题。数学因其可验证性强，被视为测试AI核心推理能力的重要领域。Harmonic通过让Aristotle使用开源编程语言Lean生成答案，并在输出前通过算法验证，确保准确性，类似技术已应用于医疗设备和航空等高风险行业。 尽管在数学领域实现无幻觉AI已属不易，Harmonic表示Aristotle已在2025年国际数学奥林匹克竞赛（IMO）中取得金牌成绩，通过了形式化测试。而谷歌和OpenAI的AI虽然也获得金牌，但仅通过自然语言的非正式测试。