Senang mengumumkan garis ~25K Bukti ramping dari Teorema Bilangan Prima (PNT) dalam bentuk yang kuat! Ini melengkapi tantangan yang ditetapkan oleh Terry Tao dan @AlexKontorovich pada Januari 2024.