Comment by balaclava9

No one is claiming it is proven in lean or in natural language. The Clay Institute, for example, has not said it’s proven.