Harmonic推理模型Aristotle獲國際數學奧賽金牌級表現

BiRun 消息，Harmonic旂下AI推理模型Aristotle在國際數學奧林匹克競賽（IMO 2025）中取得突破性進展。該模型成功解決了六道試題中的五道，並提供了經Lean驗証的嚴謹証明。這一成就標誌着人工智能在復雜數學推理領域邁出了重要一步，展現了其達到金牌級別的解題能力與邏輯嚴密性。