Harmonic公司动态 - AI初创公司Harmonic由Robinhood首席执行官Vlad Tenev联合创立 其搭载AI模型Aristotle的iOS和Android聊天机器人应用已开启测试版发布 [1] - Aristotle测试版发布距公司完成1亿美元B轮融资仅数周 该轮融资由Kleiner Perkins领投 公司估值达8 75亿美元 [1] - Harmonic专注于创造"数学超级智能"(MSI) 最终目标是帮助用户应对所有依赖数学的领域 包括物理学 统计学和计算机科学 [1] Aristotle模型技术特点 - Aristotle是首款面向公众 能够进行推理并正式验证输出结果的AI产品 在定量推理领域可保证不存在幻觉 [2] - 模型通过正式测试(题目转化为机器可读格式)在2025年国际数学奥林匹克竞赛(IMO)中达到金牌水平 [2] - 采用开源编程语言Lean生成响应 通过非AI算法流程双重验证解决方案正确性 类似医疗设备和航空领域的技术验证方式 [3] 行业竞争格局 - Google和OpenAI也开发了能在IMO达到金牌水平的AI模型 但采用自然语言的非正式测试方式 [2] - 多家头部科技公司正专注于训练AI模型解决数学问题 数学被视为需要核心推理能力的独特可验证领域 [3] - 研究发现即便领先的AI模型也经常产生幻觉 且该问题未见改善 OpenAI最新AI推理模型的幻觉现象比旧版本更严重 [4][5] 未来发展计划 - Harmonic计划发布API供企业访问Aristotle 同时为消费者推出网页应用 [2] - 公司暂不公布Aristotle的其他基准测试结果 [3] - 首席执行官Tudor Achim表示公司在实现数学超级智能(MSI)目标上"进展非常迅速" [1]