Y
Hacker News
new
|
ask
|
show
|
jobs
by
rowanG077
757 days 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.