लेख

Google को DeepMind ले कृत्रिम बुद्धिमत्ताको साथ गणितीय समस्याहरू समाधान गर्दछ

ठूला भाषा मोडेलहरू (LLMs) मा हालैका प्रगतिहरूले AI लाई थप अनुकूलनीय बनाएको छ, तर यो एक नकारात्मक पक्षको साथ आउँछ: त्रुटिहरू।

जेनेरेटिभ एआईले चीजहरू बनाउन खोज्छ, तर Google DeepMind ले एउटा नयाँ LLM ल्याएको छ जुन गणितीय सत्यहरूमा टाँसिएको छ।

कम्पनीको FunSearch ले धेरै जटिल गणित समस्याहरू समाधान गर्न सक्छ।

चमत्कारिक रूपमा, यसले उत्पन्न गर्ने समाधानहरू मात्र सही छैनन्; तिनीहरू पूर्णतया नयाँ समाधानहरू हुन् जुन कुनै पनि मानवले फेला पारेको छैन।

अनुमानित पढ्ने समय: 4 मिनुटी

FunSearch भनिन्छ किनभने यसले गणितीय प्रकार्यहरू खोज्छ, यो रमाइलो भएकोले होइन। यद्यपि, केही मानिसहरूले क्याप सेट समस्यालाई एक हुट मान्न सक्छन्: गणितज्ञहरूले यसलाई कसरी समाधान गर्ने भन्नेमा पनि सहमत हुन सक्दैनन्, यसलाई वास्तविक संख्यात्मक रहस्य बनाउँदै। Deepmind AlphaFold (प्रोटिन फोल्डिंग), AlphaStar (StarCraft), र AlphaGo (playing Go) जस्ता अल्फा मोडलहरू मार्फत आर्टिफिसियल इन्टेलिजेन्समा प्रगति गरिसकेको छ। यी प्रणालीहरू LLM मा आधारित थिएनन्, तर नयाँ गणितीय अवधारणाहरू प्रकट गरे।

FunSearch को साथ, Deepmind Google को PaLM 2 को Codey नामक संस्करणको ठूलो भाषा मोडबाट सुरु भयो। काममा दोस्रो LLM स्तर छ, जसले Codey को आउटपुट विश्लेषण गर्छ र गलत जानकारी हटाउँछ। यस कार्यको पछाडिको टोलीलाई थाहा थिएन कि यो दृष्टिकोणले काम गर्छ कि छैन र अझै पनि निश्चित छैन किन, अनुसन्धानकर्ताका अनुसार Deepmind अलहुसेन फौजी।

सुरु गर्न, इन्जिनियरहरू मा Deepmind तिनीहरूले क्याप सेट समस्याको पाइथन प्रतिनिधित्व सिर्जना गरे, तर समाधान वर्णन गर्ने लाइनहरू छोडे। कोडीको काम लाइनहरू थप्नु थियो जसले समस्यालाई सही रूपमा समाधान गर्यो। त्रुटि जाँच गर्ने तहले कोडी समाधानहरू सही छ कि छैन भनेर हेर्नको लागि स्कोर गर्छ। उच्च-स्तरको गणितमा, समीकरणहरू एक भन्दा बढी समाधानहरू हुन सक्छन्, तर सबैलाई समान रूपमा राम्रो मानिन्छ। समय बित्दै जाँदा, एल्गोरिथ्मले उत्तम कोडे समाधानहरू पहिचान गर्छ र तिनीहरूलाई मोडेलमा फिर्ता सम्मिलित गर्छ।

DeepMind ले FunSearch लाई धेरै दिनसम्म चलाउन दिन्छ, लाखौं सम्भावित समाधानहरू उत्पन्न गर्न पर्याप्त छ। यसले FunSearch लाई कोड परिष्कृत गर्न र राम्रो परिणामहरू उत्पादन गर्न अनुमति दियो। भर्खरै प्रकाशित अनुसन्धान अनुसार, एल 'कृत्रिम बुद्धिमत्ता क्याप सेट समस्याको पहिले अज्ञात तर सही समाधान फेला पारियो। Deepmind कन्टेनर प्याकिङ समस्या भनिने अर्को कठिन गणितीय समस्यामा FunSearch लाई पनि मुक्त गर्‍यो, एउटा एल्गोरिदम जसले कन्टेनरहरू प्याक गर्ने सबैभन्दा प्रभावकारी तरिका वर्णन गर्दछ। FunSearch ले मानिसले गणना गरेको भन्दा छिटो समाधान फेला पार्यो।

गणितज्ञहरू अझै पनि LLM प्रविधिलाई आफ्नो काम र काममा एकीकृत गर्न संघर्ष गरिरहेका छन् Deepmind पछ्याउने सम्भावित मार्ग देखाउँछ। टोलीको विश्वास छ कि यस दृष्टिकोणमा सम्भावना छ किनभने यसले समाधानको सट्टा कम्प्युटर कोड उत्पन्न गर्दछ। यो कच्चा गणितीय परिणामहरू भन्दा बुझ्न र प्रमाणित गर्न अक्सर सजिलो छ।