External Source

Lean: Proving Math With Ai

2024 0:41
Synopsis
Gridspace engineer Cole Franks talks "Can LLMs do Math?" as a part of our 2024 IAP series Beyond LLMs. Find the full talk here!

You Might Also Like

Automated Mathematical Proofs - Computerphile 18:02
Automated Mathematical Proofs - Computerphile
2022
How to learn Lean programming language | Terence Tao and Lex Fridman 4:27
How To Learn Lean Programming Language | Terence Tao And Lex...
2025
How Mathematicians can Get Started with Lean 31:47
How Mathematicians Can Get Started With Lean
2025
Formalizing a proof in Lean by hand 56:42
Formalizing A Proof In Lean By Hand
2025
Is This the End of Handwritten Math? Introducing Lean 34:35
Is This The End Of Handwritten Math? Introducing Lean
2025
10 minute Lean tutorial : proving logical propositions 7:53
10 Minute Lean Tutorial : Proving Logical Propositions
2020
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman 8:21
How Terence Tao Uses Ai With Lean Programming Language | Ter...
2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI 47:15
Formalizing The Future: Lean’s Impact On Mathematics, Prog...
2025
Introductory Proof with Lean 4 - Natural Numbers 11:54
Introductory Proof With Lean 4 - Natural Numbers
2022
When Computers Write Proofs, What's the Point of Mathematicians? 6:34
When Computers Write Proofs, What's The Point Of Mathematici...
2023
Infinitude of primes --- a Lean theorem prover demo 23:35
Infinitude Of Primes --- A Lean Theorem Prover Demo
2020
Improving on AlphaProof: IMO 2024 Problem 2 in Lean 4 6:39
Improving On Alphaproof: Imo 2024 Problem 2 In Lean 4
2024
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.