We still haven't proven whether almost all mathematical truths require infinitely long proofs to establish with full rigor.
open
Global / Unspecified, Global
Some conjectures suggest that most true statements in sufficiently complex systems may have no short proof at all, only extremely long or even infinite ones. This unresolved question challenges our basic assumptions about what makes mathematics knowable.
Citation ID: WS01243
Title: We still haven't proven whether almost all mathematical truths require infinitely long proofs to establish with full rigor.
URL: https://worldsolve.org/index.php?api=problem&id=1243