Harmonic 明日发布新产品:曾教 AI 证明数学,这次要做更难的事
LucaAmb · x · 2026-10-27
Harmonic(曾推出数学证明 AI)预告明日发布新产品,团队成员称这是他花了一年时间打磨的东西。官方文案暗示:「我们教会了 AI 证明数学。接下来,是一件更难做对的事。Soon.」具体产品方向尚未公布。
所属事件:Harmonic 预告将发布新产品：比教 AI 证明数学更难(2 条相关)→
「公司和人」频道最新
- 李飞飞 XCS231N 深度学习计算机视觉课程 10 月 6 日开课 — burny_tech · 2026-10-27
- 宾大 Kording 实验室为 2027 春季演讲系列公开征集学者提名 — KordingLab · 2026-10-27
- OpenAI 案例：20 人团队 Amp 用 GPT-6 Astra 把 agent 用到编码之外 — OpenAI · 2026-10-27
- OpenAI 案例：Higgsfield 借 GPT-6 Astra 把 AI 视频从 1 分钟拉到 10 分钟以上 — OpenAI · 2026-10-27
- YC 转发：AI 电影制作公司 Martini Bar 推出制片基础设施 — ycombinator · 2026-10-27
- Dario Amodei 17 岁旧简历曝光：USAMO 常客、BAMO 第二、一英里跑进 5 分钟 — felpix_ · 2026-10-27