Harmonic 预告：已教会 AI 证明数学，更强能力将临

Vlad Tenev 创立的 AI 数学公司 Harmonic 称已教会 AI 证明数学，并确认其 AI 能完成数学证明任务。推文预告下一个「更难做对」的目标领域将「很快」公布，但未透露具体是什么任务。该预告未给出模型版本、参数规模或时间表，属预热式信息。