Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...

Bitcoin miners collect and broadcast transactions in a block and verify their validity. Then they apply a cryptographic hash function of the previous block’s header to the new block. Finally, they try ...