Harmonic 预告将发布新产品：比教 AI 证明数学更难

由 Vlad Tenev 创立的 AI 数学公司 Harmonic 发推预告：「我们教会了 AI 证明数学。接下来，是某个更难做对的东西。很快。」确认其 AI 已能完成数学证明后，公司将于明日发布新产品，团队成员称这是花了一年时间打磨的成果，但官方未透露具体方向。

2026-10-27 ~ 2026-10-27 · 2 条相关

• Harmonic 预告:已教会 AI 证明数学,更强能力将临 — satnam6502 · 2026-10-27
• Harmonic 明日发布新产品:曾教 AI 证明数学,这次要做更难的事 — LucaAmb · 2026-10-27