We haven't resolved whether it's possible to fully and efficiently verify the correctness of extremely long mathematical proofs without any possibility of hidden error.
open
United States, North America
WS01336
Some proofs span thousands of pages or rely on massive computer verification, and whether complete, error-free confidence is ever truly achievable for such proofs remains a genuinely unresolved epistemological and mathematical question. This shapes ongoing debates about the future of mathematical certainty.