Mathematics

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...

Written by Quanrel · 26 sec read >
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-mathematical-proof-is-a-social-compact-20230831/

How Close Are Computers to Automating Mathematical Reasoning?
https://www.quantamagazine.org/can-computers-be-mathematicians-20220629/

– VISIT our Website: https://www.quantamagazine.org
– LIKE us on Facebook: https://www.facebook.com/QuantaNews
– FOLLOW us Twitter: https://twitter.com/QuantaMagazine

Quanta Magazine is an editorially independent publication supported by the Simons Foundation: https://www.simonsfoundation.org/

#math #proof #computerscience

source

Leave a Reply

Your email address will not be published. Required fields are marked *