1996 में, एक लंबे समय से खुली समस्या को एक कंप्यूटर द्वारा हल किया गया था; अर्थात्, रॉबिंस बीजगणित और बूलियन बीजगणित समान हैं। प्रमाण एक स्वचालित प्रमेय कहावत द्वारा पाया गया था।
इसके अलावा, चार रंग प्रमेय के ज्ञात प्रमाण में कंप्यूटर से उत्पन्न घटक होते हैं।
इस प्रश्न का उद्देश्य उन साक्ष्यों को सूचीबद्ध करना है जो कंप्यूटर द्वारा पाए जाते हैं (पूरी तरह या आंशिक रूप से) (चाहे एकमात्र ज्ञात प्रमाण हो या पहली बार खोजा गया हो )।
2
कुछ छिटपुट परिमित सरल समूह (जैसे ल्योंस समूह का निर्माण पहली बार कंप्यूटर का उपयोग करके किया गया था, अर्थात, उनका अस्तित्व प्रमाण आंशिक रूप से कंप्यूटर द्वारा उत्पन्न किया गया था।
—
जेपी
IMHO आपको "पाया" और "चेक किया गया" के बीच अधिक सावधानी से अंतर करने की आवश्यकता है। गॉंटियर एट अल का प्रमाण निश्चित रूप से एक कंप्यूटर द्वारा नहीं मिला है।
—
गैलिस
अच्छा सवाल है, लेकिन जहाँ कंप्यूटर कैसे मदद करने के लिए एक
—
vzn
इसके अलावा बहुत समान है: क्या किसी भी पूर्व अज्ञात परिणाम को एक स्वचालित प्रमेय कहावत द्वारा सिद्ध किया गया है? ।
—
पेट्र पुडलक