External Source

When Computers Write Proofs, What's The Point Of Mathematicians?

2023 6:34
Synopsis
Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a ...

You Might Also Like

Mathematicians In Denial About AI Replacing Them 7:02
Mathematicians In Denial About Ai Replacing Them
2025
Martin Hairer: Do Mathematicians Need Computers? 55:13
Martin Hairer: Do Mathematicians Need Computers?
2025
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy 5:20
The Paradox At The Heart Of Mathematics: Gödel's Incomplete...
2021
What is a mathematical proof? 2:34
What Is A Mathematical Proof?
2013
An Introduction to Mathematical Proofs 9:41
An Introduction To Mathematical Proofs
2024
An Introduction to Mathematical Proofs 17:52
An Introduction To Mathematical Proofs
2025
Automated Mathematical Proofs - Computerphile 18:02
Automated Mathematical Proofs - Computerphile
2022
How Imaginary Numbers Were Invented 23:29
How Imaginary Numbers Were Invented
2021
Computer Science ∩ Mathematics (Type Theory) - Computerphile 15:56
Computer Science ∩ Mathematics (type Theory) - Computerphi...
2017
Intro To Math Proofs (Full Course) 2:20:51
Intro To Math Proofs (full Course)
2024
The story of mathematical proof – with John Stillwell 44:04
The Story Of Mathematical Proof – With John Stillwell
2023
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.