Bitcoin's governance was built by people who believed mathematics was the only honest referee — and now the machines that reason from mathematics have arrived at the table to govern alongside us.