When Computers Write Proofs, What's the Point of Mathematicians?

Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That's why the University of Montreal number theorist has started talking to philosophers about the nature of mathematical proof — and how the discipline of mathematics might evolve in the age of AI. Read the full article at Quanta Magazine: https://www.quantamagazine.org/why-ma... How Close Are Computers to Automating Mathematical Reasoning? https://www.quantamagazine.org/can-co... VISIT our Website: https://www.quantamagazine.org LIKE us on Facebook:   / quantanews   FOLLOW us Twitter:   / quantamagazine   Quanta Magazine is an editorially independent publication supported by the Simons Foundation: https://www.simonsfoundation.org/ #math #proof #computerscience