Harmonic 预告 AI 已能证明数学，更强能力即将揭晓

AI 数学公司 Harmonic 发推称，其 AI 已能完成数学证明任务，并以“soon”暗示下一项更难的能力突破即将公布。公司未披露具体任务或相关模型信息，Harmonic 创始人身份在原文中明确为 Vlad Tenev。