| Title | : | When Computers Write Proofs, What's the Point of Mathematicians |
| Duration | : | 6 minutes, 34 seconds |
| Uploader | : | Quanta Magazine |
| Added On: | : | 31 August, 2023 |
| Views | : | 367.5K times |
| Likes | : | 0 |
| Source | : | YouTube |
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 nat
