OpenAI ने GitHub पर 372 एआई-जनित गणितीय प्रमाण प्रकाशित किए
decoder ·
OpenAI ने GitHub पर अपने आंतरिक AI मॉडल द्वारा उत्पन्न 372 गणितीय परिणाम प्रकाशित किए हैं, जिनका उद्देश्य रीमान अनुमान से जुड़ी समस्याओं सहित खुली समस्याओं को हल करना या आगे बढ़ाना है। इन प्रमाणों का उत्पादन मुख्य रूप से एक ही प्रॉम्प्ट और एजेंट का उपयोग करके किया गया था, जिसमें प्रत्येक परिणाम को प्राप्त करने में लगभग तीन घंटे की ChatGPT Pro कंप्यूटिंग शक्ति खर्च हुई। मैन्युअल समीक्षा प्रक्रियाओं पर पड़ने वाले भारी आउटपुट के दबाव को कम करने के लिए, कई प्रमाणों में मशीन-जाँच योग्य सत्यापन के लिए Lean में औपचारिकताएं शामिल हैं। कंपनी ने पारंपरिक सह-समीक्षित पत्रिकाओं के बजाय GitHub को चुना, जो इस खोज की गति के लिए पारंपरिक अकादमिक प्रकाशन प्रक्रिया को बहुत धीमा बताता है। हालांकि OpenAI ने फील्ड्स मेडलिस्ट सहित एक परामर्शदात्री समूह से परामर्श लिया, लेकिन गणितज्ञों को परिणामों की उत्पादन गति या मात्रा पर कोई अधिकार नहीं था। गणितीय समुदाय में प्रतिक्रियाएं विभाजित हैं, जो उत्साह से लेकर भविष्य की संभावनाओं के प्रति निराशा तक फैली हुई हैं। 25 फील्ड्स मेडलिस्ट विजेताओं सहित आलोचकों का तर्क है कि समस्या-हल करने वाले आउटपुट पर ध्यान केंद्रित करने से अवधारणात्मक समझ और वास्तविक अंतर्दृष्टि कमजोर हो सकती है। इसके परिणामस्वरूप, यह चिंता व्यक्त की जा रही है कि AI-जनित साहित्य का तीव्र विस्तार अंततः मानवीय समझ की क्षमता से आगे निकल सकता है।
decoder