በራሳቸው ሲሰሩ የነበሩ ሁለት ዋነኛ የአርቲፊሻል ኢንተለጀንስ ስርዓቶች ምንም ሰው ሂሳብ ሊቅ በሶስት አስርት ዓመታት ያላደረገውን አድርገዋል: የ Exponential Time Hypothesis (ETH) ን መክሸፍ።
OpenAI የምርምር ሞዴሏ በጥቅምት 16 ቀን የ ETH ን በተፈጥሮ ቋንቋ ክሸፍ እንዳገኘች እና በሚቀጥለው ቀን በ Lean (የማሽን ማስረጃ መፈተሻ) መደበኛ ቅርጽ እንደወሰደ አስታውቃለች። በ67 ገጾች ደህንነቱ ላይ ደራሲው "OpenAI" ተብሎ ተመዝግቧል።
ከጥቂት ሰዓታት በፊት፣ Anthropic የራሷን 49 ገጽ ወረቀት "A 2^o(n) Time Algorithm for 3-SAT" አትሟ ነበር፣ ይህም ለ "Claude, Anthropic" ተመዝግቦለታል። ውስጣዊ የ Claude ምርምር ሞዴል ዋናውን አልጎሪዝም በተመሳሳዩ ቀን፣ ጥቅምት 16፣ አግኝቷል።
በ Russell Impagliazzo እና Ramamohan Paturi በ1999 አጠገብ የቀረበው ETH ምንም አልጎሪዝም የ Boolean satisfiability ችግርን ከኤክስፖኔንሺያል ጊዜ በፍጥነት መፍታት እንደማይችል ይናገራል። በግራፍ ሲዖሪ፣ ዳታቤዞች፣ ኮምፒውቴሽናል ባዮሎጂ እና ኮምፒውቴሽናል ጂኦሜትሪ ውስጥ በመቶዎች ለሚቆጠሩ የሁኔታ ውስብስብነት ውጤቶች መሰረት ነው።
ሁለቱም ቡድኖች አሁን ማግኘቶችን በንዑስ ኤክስፖኔንሺያል ጊዜ የሚቆጥር ወሳኝ አልጎሪዝም እንዳላቸው ይናገራሉ፣ ዋናው የኤክስፖኔንት ክፍልም አንድ ዓይነት ነው። ቃሉ ከተከበረ፣ የውስብስብነት ሲዖሪ አንድ ጸጋ ያለው ግንብ ይወድቃል።
የማረጋገጫ ሥርዓቱ በሚያስደንቅ ሁኔታ ጠንካራ ነው። ማስረጃው በ Lean መደበኛ ሲሆን እያንዳንዱን እርምጃ በማሽን ይመረምራል። የተለቀቁትን መረጃዎች ያጠናው የ TU Wien ተመራማሪ Stefan Szeider በጥብቅ መርመራ ላይ እንደሚቆም ይጠብቃል። በጣም አስገራሚው ነገር: OpenAI ያዋለችው ነጻ የግምገማ ቡድን Impagliazzo እና Paturi ገብተውበታል - የግምቱ ደራሽያን ክሸፉን እየመረመሩ ነው። ክፍት ደብዳቤያቸው ይህ የኮምፒውተር ሳይንስ አንድ አስፈላጊ ክፍል ሊለውጠው እንደሚችል ይናገራል።
ገደቦቹ ውጤቱን የሚመስሉ ናቸው። P versus NP አልነካም። አዲሱ አልጎሪዝም አሁንም ሱፐርፖሊኖሚያል ነው፣ ስለዚህ ከእሱ ፈጣን SAT መፍቻ አይወጣም። የተለወጠው በሲዖሪ የሚቻለው ካርታ እና ማን - ወይም ምን - እንደገና እየሳለው መሆኑ ነው።
ለንግድ መሪዎች ምልክቱ በሂሳብ ውስጥ አይደለም። ምልክቱ አርቲፊሻል ኢንተለጀንስ ከጽሑፍ እና ኮድ መጻፍ ወደ ኦሪጂናል እና በማሽን የተረጋገጠ ምርምር ማምረት ላይ መሆኑ ነው። "ማሽኖች አዲስ ሳይንስ ሊሰሩ አይችሉም" የሚለው ግምት አሁን ከባድ ውግዘት ተጋፍጧል፣ የችሎታውም ድንበር አሁን ከአብዛኛዎቹ የእቅድ ዑደቶች በፍጥነት እየተንቀሳቀሰ ነው።
አርቲፊሻል ኢንተለጀንስን እንደ ምርምር አጋር፣ እንደ ማተም ረዳት ሳይሆን፣ የሚያዩ ድርጅቶች የሚቀጥለውን አስርት ዓመታት ፍጥነት ይወስናሉ።
በሂሳብ ይመልከቱ። በብልህነት ይንቀሳቀሱ። በስትራቴጂ ይመሩ። በታማኝነት ይገንቡ። በአለም አቀፍ ይስፋፉ። በሰው ሰራሽ አስተዋዮነት እውነተኛ የንግድ ዋጋ ይፍጠሩ።
