Vi är glada över att kunna presentera ett Lean-bevis på ~25K linje för primtalssatsen (PNT) i stark form! Detta avslutar en utmaning som Terry Tao och @AlexKontorovich satte upp i januari 2024.