Harmonic预告AI已能完成数学证明

AI数学公司Harmonic称已教会AI完成数学证明任务，并暗示一项更难的数学能力突破即将公布，但尚未披露具体任务、模型或验证结果。 这项信息来自Harmonic的预热式预告。Vlad Tenev被明确列为公司创始人；其“很快”仅指向后续能力发布，不代表突破已经得到独立证实。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。