Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
