Harmonic推理模型Aristotle获国际数学奥赛金牌级表现

BiRun 消息，Harmonic旗下AI推理模型Aristotle在国际数学奥林匹克竞赛（IMO 2025）中取得突破性进展。该模型成功解决了六道试题中的五道，并提供了经Lean验证的严谨证明。这一成就标志着人工智能在复杂数学推理领域迈出了重要一步，展现了其达到金牌级别的解题能力与逻辑严密性。