Hào hứng thông báo một bằng chứng Lean khoảng ~25K dòng cho Định lý Số nguyên tố (PNT) ở dạng mạnh! Điều này hoàn thành một thử thách được đặt ra bởi Terry Tao và @AlexKontorovich vào tháng 1 năm 2024.