S potěšením oznamujeme ~25K řádkový štíhlý důkaz věty o prvočíslech (PNT) v silné formě! Tím je dokončena výzva, kterou Terry Tao a @AlexKontorovich stanovili v lednu 2024.