Alex Best, Formalization and arithmetic geometry: Past, present, and future.
Channel: VaNTAGe
Date: 14/04/2024

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/