- एआईसँगको स्वचालित समाधान 2014
- Rethlas ले मानव गणितज्ञले जस्तै समस्या समाधान गर्ने रणनीतिहरू अन्वेषण गर्दछ
- Archon ले सम्भावित प्रमाणहरूलाई लीन 4 प्रमाणिकरणकर्ताका लागि परियोजनाहरूमा रूपान्तरण गर्दछ
पेकिङ विश्वविद्यालयको नेतृत्वमा रहेको अनुसन्धान टोलीले एआई-सोल युनिभर्सिटीको एड्भाम्याटिक सिस्टम समस्याहरूको विकास गर्यो। आफ्नै नतिजाहरू प्रमाणित गर्दा।
प्रणालीले सन् २०१४ मा ड्यान एन्डरसनले प्रस्ताव गरेको अनुमानलाई रनटाइमको ८० घन्टा भित्र प्रक्रिया पूरा गरेर समाधान गर्यो। data-skip=”dealsy” data-widget-type=”seasonal” class=”hawk-root”/>
“यो ढाँचाको प्रयोग गरेर, हामीले सफलतापूर्वक खुला समस्याको समाधान गर्यौं र algebram मा मानव प्रूफको लागि स्वचालित रूपमा खुला समस्या समाधान गर्यौं। हस्तक्षेप,” अन्वेषकहरूले arXiv मा प्रकाशित प्रिप्रिन्ट पेपरमा लेखे।
लेख तल जारी छ
>>>> id=”elk-cd2c02fb-d1e2-4575-bef2-e58e65bd58c0″>The AI उपकरण ले Rethlas नामक तर्क प्रणाली लागू गर्छ, जसले गणित प्रमेय खोज इन्जिनबाट निकाल्छ। सम्भावित प्रमाण उत्पादन गर्दछ, अर्चोन भनिने दोस्रो प्रणालीले अर्को खोज इन्जिन प्रयोग गर्दछ जुन LeanSearch भनिन्छ त्यो प्रमाणलाई अन्तरक्रियात्मक प्रमेय प्रोभरको लागि प्रोजेक्टमा रूपान्तरण गर्न।
प्रमेय प्रोभर, लीन 4, सयौं हजारौं प्रमेयहरू र परिभाषाहरू समावेश भएको समुदाय-संचालित पुस्तकालय भएको प्रोग्रामिङ भाषा पनि हो। समस्या समाधान गर्ने प्रक्रियाको क्रममा अपरेटर।
AI प्रणालीले कुनै पनि मानव भन्दा छिटो गणितीय कार्यहरू प्रदर्शन गर्यो, जसमा स्वतन्त्र रूपमा विभिन्न क्षेत्रहरूमा विशेषज्ञहरू बीचको सहकार्य आवश्यक पर्ने कामहरू समावेश छन्। आवश्यक पर्दा Archon लाई मार्गदर्शन गर्दै।
“यस कामले एआई प्रयोग गरेर कसरी गणितीय अनुसन्धानलाई पर्याप्त रूपमा स्वचालित गर्न सकिन्छ भन्ने ठोस उदाहरण प्रदान गर्दछ,” अनुसन्धानकर्ताहरूले भने। class=”clear-both pb-0 pt-2 mb-4″>
अब के पढ्ने
गणितीय प्रमाणहरूले पूर्ण कठोरताको माग गर्दछ, तर विशेषज्ञहरूले लेखेका प्रमाणहरूमा पनि सूक्ष्म त्रुटिहरू हुन सक्छन्।
एन्डरसनको अनुमान कम्युटेटिभ बीजगणितमा अपेक्षाकृत अस्पष्ट समस्या थियो, जसले AI को उपलब्धिलाई उल्लेखनीय बनाउँछ। पुरस्कार-स्तरको चुनौती जस्तै Riemann Hypothesis वा P vs NP समस्या।
यो दृष्टिकोण अझ कठिन गणितीय समस्याहरूमा मापन गर्न बाँकी छ।
यसले भने, शताब्दीयौंदेखि स्वचालनको प्रतिरोध गर्ने क्षेत्रको लागि, यसले उल्लेखनीय कोसेढुङ्गा प्रतिनिधित्व गर्दछ। href=”https://www.independent.co.uk/tech/china-ai-old-math-problem-b2956513.html” target=”_blank” rel=”nofollow” data-url=”https://www.independent.co.uk/tech/china-ai-old-math-problem-b2956513.html”wreferrnogra-downer” data-hl-processed=”none” data-mrf-recirculation=”inline-link”>The Independent
Google समाचारमा TechRadar फलो गर्नुहोस् र हामीलाई प्राथमिकताको रूपमा थप्नुहोस् //em>प्राथमिकता स्रोतको रूपमा थप्नुहोस् समीक्षाहरू, र तपाईंको फिडहरूमा राय। फलो बटनमा क्लिक गर्न निश्चित हुनुहोस्!
र पक्कै पनि तपाईं TikTok मा TechRadar फलो गर्नुहोस् समाचार, समीक्षा, भिडियो फारममा अनबक्सिङका लागि र हामीबाट नियमित अपडेटहरू प्राप्त गर्नुहोस् WhatsApp पनि।