गणितज्ञों ने दी चेतावनी: एआई परीक्षणों की कठोरता को खतरे में डाल रहा है

दुनिया भर के 130 से अधिक गणितज्ञों ने लीडेन घोषणा पर हस्ताक्षर किए हैं, एक दस्तावेज़ जो इस अनुशासन पर कृत्रिम बुद्धिमत्ता के प्रभाव के बारे में चेतावनी देता है। हस्ताक्षरकर्ताओं के अनुसार, प्रमाण उत्पन्न करने के लिए AI उपकरणों का उपयोग मानव तर्क की स्वायत्तता और परिणामों की सत्यापनीयता को खतरे में डालता है, जिससे पता लगाने में मुश्किल त्रुटियों का द्वार खुल जाता है।

मशीनों द्वारा उत्पन्न प्रमाणों में सत्यापन की दुविधा 🧠

मुख्य समस्या AI द्वारा उत्पन्न गणितीय प्रमाणों की प्रकृति में निहित है। एक संख्यात्मक गणना के विपरीत, एक औपचारिक प्रमाण के लिए चरण-दर-चरण सत्यापन योग्य तार्किक संरचना की आवश्यकता होती है। वर्तमान मॉडल, जैसे बड़े भाषा मॉडल, तर्क की श्रृंखला उत्पन्न कर सकते हैं जो सुसंगत लगती हैं लेकिन तार्किक छलांग या झूठी धारणाओं को छिपाती हैं। व्यापक मानव समीक्षा के बिना, ये दोष फैलते हैं, भविष्य के शोध को दूषित करते हैं और परिणामों में विश्वास को कम करते हैं।

AI समीकरण हल करता है, लेकिन यह नहीं जानता कि वे सत्य हैं या नहीं 🤖

यह एक तोते से सुडोकू हल करने के लिए कहने जैसा है: वह संख्याओं को दोहरा सकता है, लेकिन नियमों को नहीं समझता। AI ऐसे प्रमाण उत्पन्न करता है जो किताबी लगते हैं, लेकिन तर्क की पहली त्रुटि पर, ताश का महल ढह जाता है। जहाँ गणितज्ञ कठोरता की चिंता करते हैं, वहीं मशीन केवल विश्वसनीय दिखने की चिंता करती है। कम से कम, तोता इंडेक्स्ड जर्नल में प्रकाशित करने का प्रयास नहीं करता।