Chinese contentRobinhood CEO 创办的 Harmonic 将 AI 数学系统 Aristotle 拓展至芯片设计
Robinhood CEO 开的 Harmonic，把拿下数学奥赛水平的定理证明系统 Aristotle 用到芯片设计验证上，思路挺有意思。
#Aristotle
1 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "Aristotle", newest first.
Oct 28