3 ms·Hook it up to a network that makes theorems.by Mao_Zedang 10y agoHook it up to a network that makes theorems.