3 ms·
I expect that we will move in a direction that all proof. Not just steps is done by computers. The human input remaining is just to ask it what to prove.
by rowanG077 2y ago
I expect that we will move in a direction that all proof. Not just steps is done by computers. The human input remaining is just to ask it what to prove.