አዲስ የማሽን ሂሳብ? የሚያማምሩ ቅጦች እና አቅመ ቢስነት
አንዳንድ ባለሙያዎች እንደሚናገሩት ከሆነ እኛ የሰው ልጆች አይተን ያላሰብነውን ሙሉ በሙሉ አዲስ ሂሳብ ሊፈልሱ ወይም ከፈለጉ ማሽኖች ሊፈልሱ ይችላሉ። ሌሎች ደግሞ ማሽኖች በራሳቸው ምንም ነገር አይፈጥሩም, እኛ የምናውቃቸውን ቀመሮች በተለየ መንገድ ብቻ ሊወክሉ ይችላሉ, እና አንዳንድ የሂሳብ ችግሮችን ጨርሶ መቋቋም አይችሉም.
በቅርቡ በእስራኤል እና ጎግል የሚገኘው የቴክኒዮን ኢንስቲትዩት የሳይንስ ሊቃውንት ቡድን አቅርበዋል። ንድፈ ሃሳቦችን ለማምረት አውቶማቲክ ስርዓትበሂሳብ ሊቅ ስም ራማኑጃን ማሽን ብለው የሰየሙት ስሪኒቫሲ ራማኑጃና።በቁጥር ፅንሰ-ሀሳብ ውስጥ በትንሹ ወይም ምንም መደበኛ ትምህርት በሌለው በሺዎች የሚቆጠሩ መሰረታዊ ቀመሮችን ያዘጋጀ። በተመራማሪዎቹ የተገነባው ስርዓት በርካታ ኦሪጅናል እና ጠቃሚ ቀመሮችን በሂሳብ ወደሚታዩ ሁለንተናዊ ቋሚዎች ቀይሮታል። በዚህ ርዕስ ላይ አንድ ወረቀት በተፈጥሮ መጽሔት ላይ ታትሟል.
በማሽን ከሚመነጩት ቀመሮች አንዱ የሚጠራውን ሁለንተናዊ ቋሚ ዋጋ ለማስላት ሊያገለግል ይችላል። የካታላን ቁጥርቀደም ሲል የታወቁ በሰው የተገኙ ቀመሮችን ከመጠቀም የበለጠ ቀልጣፋ። ይሁን እንጂ ሳይንቲስቶች እንደሚሉት የራማኑጃን መኪና ሒሳብን ከሰዎች ለመውሰድ የታሰበ አይደለም፣ ይልቁንም ለሒሳብ ሊቃውንት እርዳታ ለመስጠት ነው። ይህ ማለት ግን ስርዓታቸው ከፍላጎት የራቀ ነው ማለት አይደለም። ሲጽፉ ማሽኑ "የታላላቅ የሂሳብ ሊቃውንትን የሂሳብ ግንዛቤ ለመምሰል እና ለቀጣይ የሂሳብ ጥያቄዎች ፍንጭ ለመስጠት ይሞክራል።"
ስርዓቱ ቀጣይ ክፍልፋዮች ወይም ቀጣይ ክፍልፋዮች (1) የሚባሉ እንደ ውብ ቀመሮች የተፃፉ ስለ ሁለንተናዊ ቋሚዎች እሴቶች (እንደ) ግምቶችን ያደርጋል። ይህ የእውነተኛ ቁጥርን እንደ ክፍልፋይ በልዩ ቅፅ ወይም የእነዚህ ክፍልፋዮች ወሰን የመግለጽ ዘዴ ስም ነው። የቀጠለ ክፍልፋይ ውሱን ወይም ብዙ ጥቅሶች ሊኖሩት ይችላል።i/bi; ክፍልፋይ ሀk/Bk ከ (k + 1) ኛ ጀምሮ በተከታዩ ክፍልፋዮች ውስጥ ያሉትን ከፊል ክፍልፋዮች በመጣል የተገኘ kth reduct ይባላል እና በቀመርዎቹ ሊሰላ ይችላል።-1= 1፣ ኤ0=b0ውስጥ-1=0፣V0= 1፣ ኤk=bkAk-1+akAk-2ውስጥk=bkBk-1+akBk-2; የቅናሾች ቅደም ተከተል ወደ መጨረሻው ወሰን ከተጣመረ የሚቀጥለው ክፍልፋይ convergent ይባላል ፣ ካልሆነ ግን የተለየ ነው ። የቀጠለ ክፍልፋይ ከሆነ ሂሳብ ይባላልi= 1, ገጽ0 የተጠናቀቀ፣ ለi (i> 0) - ተፈጥሯዊ; አርቲሜቲክ የቀጠለ ክፍልፋይ መሰባበር; እያንዳንዱ እውነተኛ ቁጥር ወደ ቀጣይ የሂሳብ ክፍልፋዮች ያድጋል፣ ይህም ለምክንያታዊ ቁጥሮች ብቻ የተወሰነ ነው።
1. ፒን እንደ ቀጣይ ክፍልፋይ የመፃፍ ምሳሌ
Ramanujan ማሽን አልጎሪዝም ለግራ በኩል ማንኛውንም ሁለንተናዊ ቋሚዎች እና ማንኛቸውም ቀጣይ ክፍልፋዮችን በቀኝ በኩል ይመርጣል እና እያንዳንዱን ጎን በትክክል በትክክል ያሰላል። ሁለቱም ወገኖች የተደራረቡ ከታዩ፣ መጠኖቹ የሚሰሉት ግጥሚያው ግጥሚያ ወይም ስህተት አለመሆኑን ለማረጋገጥ ነው። በአስፈላጊ ሁኔታ, አንተ ሁለንተናዊ ቋሚዎች ዋጋ ለማስላት የሚያስችል ቀመሮች አስቀድሞ አሉ, ለምሳሌ, በማንኛውም ትክክለኛነት ጋር, ስለዚህ የገጽ ተስማሚነት በመፈተሽ ላይ ብቸኛው እንቅፋት ስሌት ጊዜ ነው.
እንደነዚህ ያሉትን ስልተ ቀመሮች ከመተግበሩ በፊት የሂሳብ ሊቃውንት ነባሩን መጠቀም ነበረባቸው። የሂሳብ እውቀት i ቲዎሬሞችእንደዚህ ያለ ግምት ያድርጉ. በአልጎሪዝም ለተፈጠሩት አውቶማቲክ ግምቶች ምስጋና ይግባውና የሂሳብ ሊቃውንት የተደበቁ ቲዎሬሞችን ወይም የበለጠ "የሚያምር" ውጤቶችን ለመፍጠር ሊጠቀሙባቸው ይችላሉ።
በጣም ታዋቂው የተመራማሪዎች ግኝት በጣም አዲስ እውቀት ሳይሆን አስገራሚ ጠቀሜታ ያለው አዲስ ግምት ነው። ይህ ይፈቅዳል የካታላን ቋሚ ስሌት፣ በብዙ የሂሳብ ችግሮች ውስጥ እሴቱ የሚያስፈልገው ሁለንተናዊ ቋሚ። አዲስ በተገኘ ግምት ውስጥ እንደ ቀጣይ ክፍልፋይ መግለጽ በኮምፒዩተር ውስጥ ለመስራት ብዙ ጊዜ የወሰዱትን የቀደምት ቀመሮችን በማሸነፍ እስከዛሬ ፈጣን ስሌቶችን ይፈቅዳል። ይህ ኮምፒውተሮች የቼዝ ተጫዋቾችን ካሸነፉበት ጊዜ ጀምሮ ለኮምፒዩተር ሳይንስ አዲስ የእድገት ነጥብ የሚያመለክት ይመስላል።
AI የማይችለውን
የማሽን ስልተ ቀመሮች እንደሚመለከቱት, አንዳንድ ነገሮችን በፈጠራ እና ውጤታማ በሆነ መንገድ ያከናውናሉ. ሌሎች ችግሮች ሲያጋጥሟቸው ረዳት የሌላቸው ናቸው። በካናዳ የዋተርሉ ዩኒቨርሲቲ የተመራማሪዎች ቡድን የችግሮች ምድብ አግኝተዋል ማሽን መማር. ግኝቱ ባለፈው ክፍለ ዘመን አጋማሽ ላይ በኦስትሪያዊው የሂሳብ ሊቅ ኩርት ጎደል ከተገለጸው አያዎ (ፓራዶክስ) ጋር የተያያዘ ነው።
የሒሳብ ሊቅ ሻይ ቤን-ዴቪድ እና ቡድኑ ከፍተኛ ትንበያ (EMX) የሚባል የማሽን መማሪያ ሞዴል ኔቸር በተሰኘው ጆርናል ላይ ባወጡት ጽሑፍ አቅርበዋል። አንድ ቀላል ሥራ ለአርቴፊሻል ኢንተለጀንስ የማይቻል ሆኖ የተገኘ ይመስላል። በቡድኑ የተከሰተ ችግር ሼይ ቤን-ዳቪድ በጣም ትርፋማ የሆነውን የማስታወቂያ ዘመቻ ለመተንበይ ይወርዳል፣ ጣቢያውን በብዛት በሚጎበኙ አንባቢዎች ላይ ያተኮረ ነው። የእድሎች ብዛት በጣም ትልቅ ከመሆኑ የተነሳ የነርቭ አውታረመረብ ትንሽ የውሂብ ናሙና ብቻ በማግኘት የድረ-ገጽ ተጠቃሚዎችን ባህሪ በትክክል የሚተነብይ ተግባር ማግኘት አልቻለም።
በነርቭ ኔትወርኮች የሚፈጠሩት አንዳንድ ችግሮች በጆርጅ ካንቶር ከቀረበው ተከታታይ መላምት ጋር እኩል እንደሆኑ ታወቀ። ጀርመናዊው የሂሳብ ሊቅ የተፈጥሮ ቁጥሮች ስብስብ ካርዲናልነት ከእውነተኛ ቁጥሮች ስብስብ ያነሰ መሆኑን አረጋግጧል. ከዚያም ሊመልሰው ያልቻለውን ጥያቄ ጠየቀ። ይኸውም ካርዲናዊነት ከካርዲናዊነት ያነሰ የማይወሰን ስብስብ አለ ወይ ብሎ አስቦ ነበር። የእውነተኛ ቁጥሮች ስብስብግን የበለጠ ኃይል የተፈጥሮ ቁጥሮች ስብስብ.
የ XNUMX ኛው ክፍለ ዘመን ኦስትሪያዊ የሂሳብ ሊቅ። ከርት ጎደል ቀጣይነት ያለው መላምት አሁን ባለው የሒሳብ ሥርዓት ሊወሰን የማይችል መሆኑን አረጋግጧል። አሁን ደግሞ የነርቭ ኔትወርኮችን የሚቀርጹ የሂሳብ ባለሙያዎች ተመሳሳይ ችግር አጋጥሟቸዋል.
ስለዚህ, ምንም እንኳን ለእኛ የማይታይ ቢሆንም, እንደምናየው, ከመሠረታዊ ገደቦች አንጻር ምንም እገዛ የለውም. የሳይንስ ሊቃውንት የዚህ ክፍል ችግሮች ለምሳሌ እንደ ማለቂያ የሌላቸው ስብስቦች, ለምሳሌ.
