गूगल डीपमाइंड का अल्फाप्रूफ नेक्सस दर्जनों खुले गणितीय समस्याओं को हल करता है और वास्तव में समीक्षा प्राप्त करता है
decoder ·
साइंस में प्रकाशित एक नए अध्ययन के अनुसार, गूगल डीपमाइंड का अल्फाप्रूफ नेक्सस (AlphaProof Nexus) दर्जनों खुले गणितीय समस्याओं को सफलतापूर्वक हल कर चुका है। इस एआई सिस्टम ने 353 खुली एर्डोस समस्याओं में से नौ को सुलझाया, जिनमें से दो समस्याएं 56 वर्षों से अनसुलझी थीं। इसके अलावा, इसने OEIS पूर्णांक अनुक्रम डेटाबेस से 44 अनुमानों की पुष्टि की और बीजीय ज्यामिति में एक खुले प्रश्न को हल किया। यह मॉडल जेमिनी 3.1 प्रो पर आधारित है और प्रमाणों को तैयार करने व जांचने के लिए औपचारिक भाषा लीन (Lean) का उपयोग करता है। जटिल उप-समस्याओं के लिए यह विशेष प्रमाण उपकरण अल्फाप्रूफ का लाभ उठा सकता है, हालांकि इसके बिना भी इसने महत्वपूर्ण परिणाम हासिल किए हैं। यह कठोर दृष्टिकोण हालिया विवादों के विपरीत है, जहां अन्य एआई कंपनियों ने बिना पत्रिका समीक्षा (peer review) के सीधे गिटहब पर प्रमाण पोस्ट किए थे। गणितज्ञों द्वारा बहिष्कार की अपील के जवाब में, डीपमाइंड ने सुनिश्चित किया कि उसका काम पारंपरिक शैक्षणिक निगरानी से गुजरे।
decoder