Încântat să anunț o dovadă slabă de ~25K linie a teoremei numerelor prime (PNT) într-o formă puternică! Acest lucru completează o provocare stabilită de Terry Tao și @AlexKontorovich în ianuarie 2024.