The Role of Mathematicians in the Age of AI-Driven Theorem Proving

Andrew Granville discusses the transformative impact of artificial intelligence on mathematics, highlighting the contributions of the programming language Lean in theorem proving and questioning the future role of mathematicians.

The Role of Mathematicians in the Age of AI-Driven Theorem Proving
Quanta Magazine
456.0K views • Aug 31, 2023
The Role of Mathematicians in the Age of AI-Driven Theorem Proving

About this video

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

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

456.0K

Likes

13.3K

Duration

6:34

Published

Aug 31, 2023

User Reviews

4.8
(91)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.