Robinhood CEO联合创办AI数学初创公司Harmonic 推出Aristotle数学推理应用

由Robinhood CEO弗拉德·特内夫共同创立的AI公司Harmonic，于近日推出首款AI聊天应用“Aristotle”，支持iOS与Android系统，专注提供“零幻觉”的数学推理答案。Harmonic目标是打造“数学超智能”（MSI），服务于数学、物理、统计与计算机科学等领域。该模型曾通过形式化测试在2025年国际数学奥林匹克中获得金牌，回答以Lean语言编写，并通过非AI算法形式验证结果，以确保准确性。公司未来将开放API与网页版服务，并获得由Kleiner Perkins领投的1亿美元B轮融资，估值达8.75亿美元。