AI පරිගණක විද්‍යාවේ අවුරුදු 30 ක උපකල්පනයක් බිඳ දමයි
පරිගණක විද්‍යාවට මෙවැනි මාසයක් කලාතුරකින් ලැබේ. එහි අරමුණු වූ විශ්වාසයක් බිඳ දමා ඇති අතර, එම කොන්දේසි අතර සිටින්නේ එය ගොඩනැගූ පර්යේෂකයන්මය.
ඔක්තෝබර් 16 වන දා, ඕපන්ඒඅයි (OpenAI) පර්යේෂණ ආකෘතියක්, සරල වාග් රූපයෙන්, ඝාතාංක කාල උපකල්පනයට (Exponential Time Hypothesis) ප්‍රතිතර්කයක් නිපදවීය. එදිනම, එම තර්කය සෑම තාර්කික පියවරක්ම යාන්ත්‍රිකව තහවුරු කරන සාක්ෂි පරීක්ෂකයක් වන ලීන් (Lean) භාෂාවෙන් ලියන ලදී. පිටු 67 ක පිටපතේ කතෘ ලෙස සඳහන් වන්නේ ඕපන්ඒඅයිමය.
කිසිදු සම්බන්ඳීකරණයකින් තොරව ක්‍රියා කළ ඇන්ත්‍රෝපික් (Anthropic) පැය කිහිපයකට කලින්ම එම ඉලක්කයටම ළඟා වී තිබිණි. එහි පිටු 49 ක වාර්තාව වන "A 2^o(n) Time Algorithm for 3-SAT" ක්ලෝඩ් (Claude) වෙත පැවරේ; එදිනම යටි වූ ඇල්ගොරිතමය සොයා ගත්තේ ක්ලෝඩ් පර්යේෂණ ආකෘතියකි.
මෙම උපකල්පනය ආරම්භ වන්නේ 1999 පමණ වන විටයි; එවිට රසල් ඉම්පාලියාසෝ (Russell Impagliazzo) සහ රාමමෝහන් පටුරි (Ramamohan Paturi) තර්ක කළේ බූලියන් තෘප්තිය (Boolean satisfiability) සඳහා ඝාතාංක කාලයට වඩා වේගවත් ඇල්ගොරිතමයක් නොමැති බවයි. එම එකම අදහස රූපරේඛා න්‍යාය, දත්ත ගබඩා, ගණිතමය ජීව විද්‍යාව සහ ජ්‍යාමිතියේ කොන්දේසි සහිත දුෂ්කරතා ප්‍රතිඵල සිය ගණනක් නිහඬව දරා සිටී.
දෙකණ්ඩායමම දැන් විස්තර කරන්නේ උප ඝාතාංක කාලයක් තුළ තෘප්තිමත් පැවරුම් ගණනය කිරීමට අැකි නිශ්චිත ක්‍රමයක් ගැනයි; දෙදෙනාම දර්ශකයේ ප්‍රධාන පදයේ එකම නිගමනයට ළඟා වේ. සමාලෝචකයන් මෙම කෘතිය තහවුරු කළහොත්, ක්ෂේත්‍රයේ වඩාත් විශ්වාසවන්ත බිත්තියක දොරක් ඇති බව පැහැදිලි වනු ඇත.
මෙම ප්‍රකාශය ශක්තිමත් කරන්නේ ආකෘතිවල පරම්පරාව නොව ඒවා වටා ඇති තහවුරු ව්‍යුහයයි: සෑම අනුමානයක්ම ලීන් හරහා යයි. ඕපන්ඒඅයි පිහිටුවූ සමාලෝචන මණ්ඩලයට ඉම්පාලියාසෝ සහ පටුරිම ඇතුළත්ය; තමන්ගේම උපකල්පනයේ පතනය දැන් ඔවුන් විගණනය කරයි. TU Wien හි ස්ටෙෆන් ස්සයිඩර් (Stefan Szeider) බෙදාගත් කෘතීන් පරීක්ෂා කර ඇති අතර, ඒවා සමීප කියවීමට ඔරොත්තු දෙනු ඇතැයි ඔහු අපේක්ෂා කරයි.
ප්‍රවේශම අත්‍යවශ්‍ය වේ. මෙම ප්‍රතිඵලය P එදිරිව NP ගැන කිසිවක් නොකියයි; නව ඇල්ගොරිතමය තවමත් අධි බහුපද කාලයක ක්‍රියාත්මක වන අතර, හෙට උදේ කිසිදු ප්‍රායෝගික විසඳුම්කරුවෙකු වේගවත් නොවනු ඇත. වෙනස් වී ඇත්තේ න්‍යායාත්මක සිතියමයි - සහ එය නැවත අඳින්නේ මිනිසුන්ද නැතහොත් පද්ධතීන්ද යන්නයි.
මෑතකදී ලේඛන සාරාංශ කළ මෘදුකාංග දැන් මුල්, යන්ත්‍රයෙන් තහවුරු කළ ගණිතය නිපදවයි. ටයිප් කිරීම බාහිරට දීම පමණක් නොව, එවැනි පද්ධතීන් සමග වැඩ කිරීමට ඉගෙන ගන්නා සංවිධාන එන දශකයේ වේගය තීරණය කරන අය වනු ඇත.