Alex Best, Formalization and arithmetic geometry: Past, present, and future.

VaNTAGe Seminar, April 9, 2024 License: CC-BY-NC-SA Links to some of the papers and projects mentioned in this talk: Gowers-Green-Manners-Tao (2023): https://arxiv.org/abs/2311.05762 Lean repository for the PFR project: https://teorth.github.io/pfr/ Tao blog post on PFR: https://terrytao.wordpress.com/2023/11/13/on-a-conjecture-of-marton/ Mathlib: https://leanprover-community.github.io/ Best,Birkbeck,Brasca,Rodriguez Boidi (2023): https://arxiv.org/abs/2305.08955 Annals of Formal Mathematics: https://afm.episciences.org/