One of the Millennium Prize Problems announced by the Clay Mathematics Institute requires a claimant to produce such a proof.
Jeden z problemów milenijnych ogłoszonych przez Instytut Matematyczny Claya zawiera wymóg stworzenia takiego dowodu.