Harmonic 的 Aristotle 模型一键合成电路并附完整 Lean 证明
satnam6502 · x · 2026-11-05
前 HLS（高层综合）研究者 danghica 试用 Harmonic 的 Aristotle 模型：让它根据其论文《Geometry of Synthesis》中的描述直接合成电路，结果模型给出了电路、规格说明，以及完整的 Lean 形式化证明。作者称这一整套输出「一气呵成」，认为该模型在硬件设计自动化方向展示了惊人能力。
「模型」频道最新
- ThursdAI 周报:AI 编辑 AI、948 个 Linux 漏洞、Kimi K3.1 权重 — thursdai_pod · 2026-11-06
- 开发者抱怨 Claude Code 近期质量暴跌:同样的模型表现差得多 — IanArawjo · 2026-11-06
- 密码学学者发问:「去审查版」GLM 能否产出 0day,实测即知 — matthew_d_green · 2026-11-06
- 谷歌 Astra 被拒请求真相：本地层触发真实安全训练，而非拒绝安全研究 — thebasepoint · 2026-11-06
- 开发者吐槽：GPT 6.1 创意远逊 Opus 5.5，品味要手把手教 — zsakib_ · 2026-11-06
- 芯片设计公司 Ricursive 发布 Ripple 65B,号称超越美国开源模型 — Sam Witteveen · 2026-11-06