The Economist — Apr 08, 17:45 PM
Some hope they will simplify the process of verifying proofs
Read full article at The Economist →