We don't know whether every mathematical proof can, in principle, be shortened to a version that a human could fully verify without computer assistance.
open
Global / Unspecified, Global
WS01268
Some modern proofs rely heavily on computer verification because they're too long or complex for any person to check by hand, raising open questions about whether shorter, purely human-verifiable proofs must always exist. This unresolved tension touches both mathematics and epistemology.