​Harmonic 推出 AI 数学聊天机器人，助力用户精准解题

AI初创公司Harmonic推出数学推理AI"亚里士多德"，主打无幻觉精准解答。该应用通过开源语言Lean实现算法验证，在2025年国际奥数测试中获金牌表现。公司刚完成1亿美元B轮融资，估值达8.75亿美元，致力于打造"数学超智能"。未来将开放API并推出网页版，拓展商业应用场景。