Ich freue mich, einen ~25K Zeilen Lean-Beweis des Primzahlensatzes (PNT) in starker Form anzukündigen! Dies vervollständigt eine Herausforderung, die Terry Tao und @AlexKontorovich im Januar 2024 gestellt haben.