ओपनएआई ने 249 पेज का पेपर जारी किया: अत्याधुनिक अनुमान मॉडल एक ही बार में दस प्रमुख गणितीय समस्याओं पर काबू पा लेता है

OpenAI ने 31 जुलाई को 249 पन्नों का एक शोध संग्रह जारी किया, जिसमें उन्नत गणित और सैद्धांतिक कंप्यूटर विज्ञान की दिशा में अपने अत्याधुनिक अनुमान मॉडल में दस प्रगति का खुलासा किया गया। सबसे ध्यान आकर्षित करने वाली बात यह है कि मॉडल ने एक प्रसिद्ध खुली गणितीय समस्या को "एकल प्रयास" विधि में हल किया, जो पहले कई बार पुनः प्रयास और मैन्युअल हस्तक्षेप की आवश्यकता के बिना अनसुलझी थी। "समस्याओं को हल करने में सक्षम होने" से लेकर "खुली समस्याओं को स्वतंत्र रूप से आगे बढ़ाने में सक्षम होने" तक, यह संभवतः "स्वायत्त गणितीय अनुसंधान" की ओर बढ़ने वाले तर्क मॉडल का सबसे ठोस प्रदर्शन है।

दस प्रगति और "सिंगल शॉट" पर काबू पाया गया

संग्रह में उन्नत गणित और सैद्धांतिक कंप्यूटर विज्ञान की दो प्रमुख दिशाओं को शामिल किया गया है, और इसमें कुल दस विशिष्ट विकास शामिल हैं। ऐतिहासिक घटनाओं में से एक यह थी कि मॉडल ने एक प्रसिद्ध खुली गणितीय समस्या को केवल एक अनुमान के साथ हल किया - पारंपरिक प्रतिमान अक्सर कई प्रयासों या मानव सहायता पर निर्भर करते हैं, और "सिंगल शॉट" का अर्थ है कि मॉडल ने अनुमान गुणवत्ता को उस बिंदु तक पहुंचा दिया है जहां इसे सीधे लागू किया जा सकता है। सभी प्रासंगिक परिणाम लीन औपचारिक प्रमाणों के रूप में खुले स्रोत हैं, और मॉडलों पर स्व-लिखित कागजात के साथ आते हैं, जो सत्यापन योग्य और प्रतिलिपि प्रस्तुत करने योग्य हैं।

यूएसडी 2000/प्रश्न का लागत खाता

आधिकारिक तौर पर, प्रत्येक गणितीय समस्या को हल करने की कम्प्यूटेशनल लागत लगभग $2,000 है। मानव गणितज्ञों की एक टीम के समय और वित्तीय निवेश के साथ इस लागत खाते की तुलना करने पर, परिमाण के क्रम में अंतर बहुत सहज है: