हम नहीं जानते कि हर गणितीय प्रमाण, सिद्धांत रूप में, एक संस्करण को छोटा किया जा सकता है कि कोई व्यक्ति कंप्यूटर सहायता के बिना पूरी तरह से सत्यापित हो सकता है।
Open
WS01268
Global / Global / Unspecified
कुछ आधुनिक सबूत कंप्यूटर सत्यापन पर भारी भरोसा करते हैं क्योंकि वे हाथ से जांच करने के लिए किसी भी व्यक्ति के लिए बहुत लंबे या जटिल होते हैं, इस बारे में खुले सवाल उठाते हैं कि क्या कम, विशुद्ध रूप से मानव-सत्यापन सबूत हमेशा मौजूद होना चाहिए। यह असंतुलित तनाव गणित और महामारी विज्ञान दोनों को छूता है।
Team Humans Club. (2026). हम नहीं जानते कि हर गणितीय प्रमाण, सिद्धांत रूप में, एक संस्करण को छोटा किया जा सकता है कि कोई व्यक्ति कंप्यूटर सहायता के बिना पूरी तरह से सत्यापित हो सकता है।. World Solve (WS01268). https://www.worldsolve.org/?view=problem&id=1268