Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Attend a specialized lecture on the Prime Number Theorem (PNT) delivered by Alex Kontorovich as part of the Simons Foundation's 2025 MPS Workshop on Lean. This one-hour presentation takes place during the second week of the workshop, where participants from the initial training week join senior researchers for advanced-level talks and collaborative projects. Explore cutting-edge mathematical formalization techniques while engaging with ongoing large collaborative projects in Lean, including the PNT+ project. Gain insights from an expert in number theory as part of a comprehensive program that bridges traditional mathematical research with modern formalization tools, alongside opportunities to learn metaprogramming, tactic writing, and collaborative development using git and blueprint technology.
