የኮምፒውተር ሳይንስ እንደዚህ ያለ ወር አልፎ አልፎ ያገኛል። ከመሰረታዊ እምነቶቹ አንዱ ተፈርሷል፣ ፍርስራሹንም የሚመረምሩት ውስጥ እራሳቸው መሰረቱት ምሁራን ተካትተዋል።
በጥቅምት 16፣ በ OpenAI ውስጥ ያለ አንድ research model በተራ ቋንቋ ለ Exponential Time Hypothesis ተቃዋሚ ክርክር አመነጨ። በአንድ ቀን ውስጥ ክርክሩ ወደ Lean ተቀድቷል፣ ይህም እያንዳንዱን የሎጂክ እርምጃ በሜካኒክ የሚያረጋግጥ proof checker ነው። በ67 ገጾቹ manuscript ላይ ደራሲው እራሱ OpenAI ነው ተብሎ ተመዝግቧል።
ምንም ዓይነት ቅንጅት ሳይኖራት የሰራችው Anthropic ከጥቂት ሰዓታት በፊት ወደ ተመሳሳይ መድረሻ ደርሳለች። የሷ 49 ገጽ ወረቀት "A 2^o(n) Time Algorithm for 3-SAT" ለ Claude ተመዝግቦለታል፣ መሰረታዊውንም algorithm በተመሳሳዩ ቀን አንድ Claude research model አግኝቷል።
ይህ hypothesis ወደ 1999 አጠገብ ይመለሳል፣ Russell Impagliazzo እና Ramamohan Paturi የ Boolean satisfiability ችግር ከ exponential time የሚበልጥ ፈጣን algorithm እንደሌለው ተከራክረዋል። ይህ ብቸኛ ሀሳብ በ graph theory፣ databases፣ computational biology እና geometry ውስጥ በመቶዎች የሚቆጠሩ conditional hardness results ን በዝምታ ይደግፋል።
ሁለቱም ቡድኖች አሁን satisfying assignments ን በ subexponential time የሚቆጥር deterministic ዘዴ ገልጸዋል፣ ሁለቱም በ exponent ውስጥ ባለው ዋና ክፍል ላይ አንድ አይነት ውጤት ላይ ደርሰዋል። ገምጋሚዎቹ ይህን ሥራ ካረጋገጡ፣ የዘርፉ በጣም የታመኑት ግንቦች አንዱ በር እንዳለበት ይሆናል።
ለዚህ ቃል ክብደት የሚሰጠው የሞዴሎቹ ሐረግ ሳይሆን ዙሪያቸው ያለው የማረጋገጫ መዋቅር ነው። እያንዳንዱ መደምደሚያ በ Lean ውስጥ ያልፋል። እና OpenAI የሰበሰበችው review panel Impagliazzo እና Paturi ገብተውበታል፣ እነሱም አሁን የራሳቸውን conjecture ውድቀት እየኦዲት ሲያደርጉ አግኝተውታል። የ TU Wien ን Stefan Szeider የሕዝባዊውን መረጃ አጥንቷል እና በጥንቃቄ ንባብ እንደሚቆም ይጠብቃል።
ጥንቃቄ አሁንም ያስፈልጋል። ውጤቱ ስለ P versus NP ምንም አይናገርም፣ አዲሱም algorithm አሁንም በ superpolynomial time ይሰራል፣ ስለዚህ ነገ ጠዋት ምንም practical solver ፈጣን አይሆንም። የተቀየረው theoretical ካርታ እና እንደገና የሚስሉት - ሰዎች ወይም systems - ማንነት ነው።
ለኤክዚኩቲቮች ትምህርቱ ከ complexity classes የራቀ ነው። ባለፈው ጊዜ ሰነዶችን የሚያጠቃልል software አሁን ኦሪጂናል፣ machine-verified ሂሳብ እያመነጨ ነው። አርቲፊሻል ኢንተለጀንስ ለ serious research ማበርከት የሚችለው ድንበር ከአብዛኛዎቹ planning cycles ግምት በፍጥነት እያንቀራቀረ ነው።
ከእንደዚህ ዓይነት systems ጋር ጎን ለጎን መስራት የሚማሩ ድርጅቶች፣ ቀሚሶች ታይፕ ማድረግ ብቻ ሳይሆን፣ የሚመጣውን አስር ዓመት ፍጥነት ይወስናሉ።
በሂሳብ ይመልከቱ። በብልህነት ይንቀሳቀሱ። በስትራቴጂ ይመሩ። በታማኝነት ይገንቡ። በአለም አቀፍ ይስፋፉ። በሰው ሰራሽ አስተዋዮነት እውነተኛ የንግድ ዋጋ ይፍጠሩ።
