速递｜“保证不存在幻觉”数学AI争夺升级，获奥林匹克竞赛金牌，初创公司Harmonic估值8.75亿...

主要观点总结

Harmonic公司推出搭载AI模型Aristotle的iOS和Android聊天机器人应用测试版。该公司在实现数学超级智能目标的道路上进展迅速，估值达8.75亿美元。Aristotle能够为用户提供涉及数学推理的问题的“无幻觉”答案。此外，公司还计划发布API和网页应用，并声称其AI模型在IMO竞赛中达到金牌水平。

关键观点总结

关键观点1: Harmonic公司推出AI聊天机器人应用测试版

搭载AI模型Aristotle的iOS和Android聊天机器人应用已开启测试版发布，这是Harmonic公司迈向实现数学超级智能目标的重要一步。

关键观点2: 估值及融资情况

Harmonic公司完成1亿美元的B轮融资，由Kleiner Perkins领投，公司估值达8.75亿美元。投资者认为这个估值是合理的，鉴于其初创企业的雄心规模。

关键观点3: Aristotle的能力与特点

Aristotle能够为用户提供涉及数学推理的问题的“无幻觉”答案，这在当前AI模型的可靠性问题上是一项大胆的主张。此外，Harmonic公司还计划发布一个API供企业访问Aristotle，并推出网页应用。

关键观点4: AI模型在IMO竞赛中的表现

Harmonic公司的AI模型Aristotle在2025年国际数学奥林匹克竞赛（IMO）中达到了金牌水平，这是通过正式测试验证的。Google和OpenAI也开发了能在今年IMO达到金牌水平的AI模型，但采用的是自然语言的非正式测试方式。

关键观点5: Harmony公司的目标和策略

Harmony公司专注于创造“数学超级智能”（MSI），旨在帮助用户应对所有依赖数学的领域。该公司通过让Aristotle使用开源编程语言Lean生成响应来实现超高精度解答，并在为用户提供答案前通过不涉及AI的算法流程进行双重验证。

免责声明