Kevin Buzzard, Teaching computers to prove theorems

What Is an Interactive Theorem Prover? | Kevin BuzzardSee more

Can AI Do Mathematics? | Kevin BuzzardSee more

Teaching number theory to computersSee more

Kevin Buzzard: Mathematics and the Computer with G-ResearchSee more

Will machines eat mathematics ? | Kevin Buzzard | TEDxImperialCollegeSee more

Kevin Buzzard: The rise of formalism in mathematicsSee more

Kevin Buzzard (Imperial College) Collaborating with undergraduates on building a librarySee more

Natural Number Game, Part 1 - Proving AdditionSee more

Will computers prove theorems?, Kevin M Buzzard, 29/03/2023See more

Kevin Buzzard, Teaching mathematicians to use computer theorem proversSee more

Grothendieck Conference - Kevin BuzzardSee more

Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021See more

Colloquium: Teaching proofs to a computer by Kevin M BuzzardSee more

Kevin Buzzard: "What is the point of Lean's maths library?"See more

Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021See more

Kevin BuzzardSee more

Interview with Prof. Kevin Buzzard │ Teaching Maths to ComputersSee more

Are Computer Proofs Useful for Human Understanding? | Carlos Zapata, Kevin BuzzardSee more

Motivation and State of the Art for the Lean Theorem Prover | Kevin BuzzardSee more