Prof. Kevin Buzzard | Formalizing Fermat: how it's going
Can A.I. do mathematics? - Kevin Buzzard
Can AI Do Mathematics? | Kevin Buzzard
Frank Calegari: 30 years of modularity: number theory since the proof of Fermat's Last Theorem
ЛЕКЦИЯ ПРО НАДЁЖНЫЕ ШИФРЫ НА КОНФЕРЕНЦИИ БАЗОВЫХ ШКОЛ РАН В ТРОИЦКЕ
Почему Питер Шольце — математик, каких бывает раз в поколение?
Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof assistants.
Может ли у ИИ появиться сознание? — Семихатов, Анохин
Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies
Kevin Buzzard: "What is the point of Lean's maths library?"
Kevin Buzzard: Formalizing Fermat: an update (1 May 2025)
The Most Fascinating Puzzles in the Philosophy of Mathematics | w/Dr. Mark Colyvan - ep. 168
What Computers Can't Do - with Kevin Buzzard
Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман
Kevin Buzzard, On the ingredients for Fermat
The Future of Mathematics?
Медали Филдса 2022 Марина Вязовская
What is Realism vs. Formalism?
Strachey Lecture: Will Computers prove theorems?
Platonism vs. Formalism