#Aristotle

共 1 条 · 7 天 1 条 · 30 天 1 条

Harmonic 1 自动定理证明 1 芯片设计 1

信息流里打上「Aristotle」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月28日

产品 Agent 与开发者10:37

Robinhood CEO 创办的 Harmonic 将 AI 数学系统 Aristotle 拓展至芯片设计

Robinhood CEO 开的 Harmonic，把拿下数学奥赛水平的定理证明系统 Aristotle 用到芯片设计验证上，思路挺有意思。

#Harmonic #Aristotle #芯片设计 #自动定理证明

Tech in Asia@Naomi Li Gan原文