अधिकांश (सभी?) प्रमाण सहायकों के पास अवसर पर निर्धारित ध्वनि कीड़े हैं। हालांकि, उन लोगों से मैंने देखा है कि इन बगों को आमतौर पर अनजाने में आना मुश्किल होता है, और बग फिक्स होने से पहले साबित होने वाले परिणाम आमतौर पर फिक्स होने के बाद पकड़ लिए जाते हैं।
शक्ति के क्रम में तीन प्रश्न:
- क्या इस तरह के साउंडनेस बग फिक्स ने कभी सबूत को संशोधित किए बिना असफल होने का एक बड़ा सबूत दिया है?
- यदि (1) सत्य है, तो क्या सबूत को ठीक करने के लिए कभी बड़े संशोधन आवश्यक थे?
- यदि (2) सत्य है, तो क्या किसी ने ध्वनि बग के कारण गलत प्रमेय सिद्ध किया है ?
मैं दूसरों के लिए "प्रमुख" की परिभाषा छोड़ दूंगा।