លោក Kurt Gödel ដែលជាអ្នកតក្កវិជ្ជាដែលបានផ្លាស់ប្តូរគណិតវិទ្យានៅសតវត្សរ៍ទី 20 បានបន្សល់ទុកនូវការងាររាប់ពាន់ទំព័រដែលមិនត្រូវបានបោះពុម្ពផ្សាយជាអក្សរខ្លីដែលលែងប្រើហើយដែលស្ទើរតែគ្មាននរណាម្នាក់នៅរស់អាចអានបាន។ ឥឡូវនេះ បញ្ញាសិប្បនិមិត្តបានជួយឌិកូដពួកវា ហើយលទ្ធផលបានបង្ហាញថា ចិត្តគណិតវិទ្យាដ៏ល្បីបំផុតប្រចាំសតវត្សន៍គឺកាន់តែរីកចម្រើនជាងអ្នកប្រវត្តិសាស្រ្តជឿ។
យោងតាមរបាយការណ៍ដែលបានចេញផ្សាយកាលពីថ្ងៃសុក្រដោយ The Guardian ការវិភាគដោយជំនួយ AI នៃសៀវភៅកត់ត្រារបស់ Gödel បានបង្ហាញថាគាត់បានបង្ហាញពីទ្រឹស្តីបទរាប់រយដែលគ្មាននរណាម្នាក់ដឹង រួមទាំងលទ្ធផលដែលរំពឹងទុកថានឹងមានការអភិវឌ្ឍន៍នៅក្នុងតក្កវិជ្ជាគណិតវិទ្យាពីទសវត្សរ៍ឆ្នាំ 1970 និង 1980 ។ For more context on this story, see our ongoing latest AI developments.
បណ្ណសារគ្រីបទិកមានតែមនុស្សប្រាំមួយនាក់ប៉ុណ្ណោះដែលអាចអានបាន។
រឿងនេះចាប់ផ្តើមដោយអ្នកតក្កវិជ្ជាហ្វាំងឡង់ Jan von Plato នៃសាកលវិទ្យាល័យ Helsinki ដែលបានដឹកនាំគម្រោងតាំងពីឆ្នាំ 2017 ដើម្បីយល់ពីខ្លឹមសារនៃសៀវភៅកត់ត្រាចំនួន 16 ដែលលោក Gödel បានសរសេរនៅដើមទសវត្សរ៍ឆ្នាំ 1940 ដែលត្រូវបានគេស្គាល់ថាជាសៀវភៅការងារ។ ឯកសារនេះមានដល់ទៅ 1,009 ទំព័រនៃអត្ថបទដែលសរសេរយ៉ាងក្រាស់អំពីគណិតវិទ្យា និងតក្កវិជ្ជា ដែលភាគច្រើនត្រូវបានសរសេរនៅក្នុង Gabelsberger ដែលជាអក្សរកាត់អាល្លឺម៉ង់ដែលលែងប្រើហើយនៅពេលដែល Gödel បានសរសេរនៅក្នុងវា។
វ៉ុន ផ្លាតូ បានប្រាប់កាសែត The Guardian ថាគាត់គឺជាមនុស្សតែម្នាក់ក្នុងចំណោមមនុស្សប្រាំមួយនាក់នៅលើពិភពលោកដែលអាចអានអក្សរខ្លីបាន។ វឌ្ឍនភាពនៃការយល់ដឹងគណិតវិទ្យានៃអត្ថបទមានភាពយឺតយ៉ាវយ៉ាងឈឺចាប់ — ប្រហែលមួយទំព័រក្នុងមួយសប្តាហ៍ — ទោះបីជាមានការផ្ដល់មូលនិធិពីជំនួយចំនួន 2.5 លានអឺរ៉ូ (£2.1 លាន) ពីក្រុមប្រឹក្សាស្រាវជ្រាវអឺរ៉ុបក៏ដោយ។
Claude សង្ខេប 1,009 ទំព័រក្នុងមួយថ្ងៃ
ល្បឿននោះបានផ្លាស់ប្តូរនៅក្នុងខែកញ្ញា នៅពេលដែល von Plato បានចុះឈ្មោះជំនួយពី Claude ដែលជាគំរូ AI ដែលបង្កើតឡើងដោយ Anthropic ។ គំនិតនេះបានកើតឡើងនៅក្នុងខែសីហា នៅក្នុងសន្និសីទមួយក្នុងប្រទេសបារាំងអំពី AI និងទ្រឹស្តីបទបង្ហាញ ដែលអ្នកវិទ្យាសាស្ត្រកុំព្យូទ័របានស្នើឱ្យគាត់សហការជ្រើសរើសជំនួយរបស់គំរូក្នុងការធ្វើឱ្យយល់អំពីសៀវភៅការងារ។
នៅពេលគាត់ត្រឡប់ទៅទីក្រុង Helsinki វិញ លោក von Plato បានចាប់ផ្តើមបង្ហាញ Claude ប្រតិចារិកសៀវភៅការងាររបស់គាត់ រួមជាមួយនឹងសៀវភៅចំនួនប្រាំមួយក្បាលដែលគាត់បានសរសេរពីមុននៅលើ Gödel និងអក្សរសិល្ប៍វិទ្យាសាស្ត្របន្ទាប់បន្សំផ្សេងទៀត។ ក្នុងរយៈពេលពីរបីថ្ងៃ ម៉ូដែលនេះបានបង្កើតការសង្ខេបដ៏ទូលំទូលាយនៃសម្ភារៈទាំងមូល - ការពន្យល់ចំនួន 650 ទំព័រនៃសៀវភៅការងារ។
វ៉ុន ផ្លាតូ បានប្រាប់កាសែត The Guardian ថា "ខ្ញុំមានការងឿងឆ្ងល់។ "សៀវភៅការងារមិនត្រឹមតែមានការរំពឹងទុករាប់សិបនៃលទ្ធផលដែលមិនស្គាល់រហូតដល់ទសវត្សរ៍ទី 70 និង 80 ប៉ុណ្ណោះទេ ប៉ុន្តែវាក៏មានប្រធានបទចំនួន 14 នៅក្នុងតក្កវិជ្ជាដែលមិនត្រូវបានបន្ត។ Gödel គឺនៅឆ្ងាយជាងពេលវេលារបស់គាត់" ។
គាត់បានប្រុងប្រយ័ត្នក្នុងការកត់សម្គាល់លទ្ធផល AI ដែលទាមទារការផ្ទៀងផ្ទាត់៖ "វាត្រូវតែគ្រប់គ្រងទំព័រសម្រាប់ទំព័រ ប៉ុន្តែវាជាមូលដ្ឋានការងារដែលមិនអាចធ្វើបានសម្រាប់មនុស្ស"។ "មនុស្សអានមួយទំព័រក្នុងពេលតែមួយ ហើយយើងមានទំនោរបំភ្លេចរឿងផ្សេងៗ។ វាត្រូវការពេលមួយឆ្នាំដើម្បីអានប្រហែល 50 ទំព័រ។ យើងគ្រាន់តែមិនអាចចងចាំគ្រប់ផ្នែកផ្សេងៗបានទេ។"
លោកបានបន្ថែមថា៖ « AI អាចភ្ជាប់បំណែកទាំងអស់ក្នុងមួយពាន់ទំព័រ។ "វាអាចមើលឃើញការសរសេររបស់ Gödel ទាំងអស់ជាបំណែកមួយ។"
សាកល្បងការអះអាងឆ្នាំ 1966 របស់Gödel
កិច្ចការទីមួយដែល វ៉ន ផ្លាតូ បានកំណត់ ក្លូដ មានទម្ងន់ជាប្រវត្តិសាស្ត្រ។ នៅឆ្នាំ 1966 គណិតវិទូជនជាតិអាមេរិកឈ្មោះ Paul Cohen បានឈ្នះមេដាយ Fields សម្រាប់ការបង្ហាញពីឯករាជ្យភាពនៃសេចក្តីថ្លែងការណ៍គណិតវិទ្យាដ៏ល្បីល្បាញពីរគឺ សម្មតិកម្មបន្ត និង axiom នៃជម្រើស។ Gödel បានប្រតិកម្មទៅនឹងរង្វាន់របស់ Cohen ដោយអះអាងថាគាត់បានបង្ហាញពីលទ្ធផលនៃជម្រើសនៅក្នុងទសវត្សរ៍ឆ្នាំ 1940 រួចហើយ ប៉ុន្តែនៅពេលដែលមានការសង្កត់ពីមិត្តភ័ក្តិរបស់គាត់ គាត់មិនអាចបង្កើតភស្តុតាងពីកំណត់ត្រារបស់គាត់ឡើងវិញបានទេ។
វ៉ុន ផ្លាតូ បានសួរលោកក្លូដឱ្យកំណត់ថាតើសៀវភៅការងារពិតជាមានភស្តុតាងនៃឯករាជ្យភាពនៃជម្រើសឬអត់។ ចម្លើយបានមកវិញ៖ បាទ ជិតហើយ។ លោក von Plato បានប្រាប់កាសែត The Guardian ថា "គាត់នៅឆ្ងាយមួយជំហានប៉ុណ្ណោះ" ។ "មាននិយមន័យមួយដែល Gödel ខុស ប៉ុន្តែគាត់មាននិយមន័យត្រឹមត្រូវកាលពី 2 ឆ្នាំមុន ដូច្នេះគំនិតគឺថាគាត់នឹងបានមកដល់ត្រឹមត្រូវ។"
ម្យ៉ាងវិញទៀត ការអះអាងដែលមានអាយុកាលរាប់ទសវត្សរ៍របស់ Gödel ហាក់ដូចជាការពិតជាក់ស្តែង — កំណត់ត្រារបស់គាត់បានធ្វើឱ្យគាត់ស្ថិតក្នុងនិយមន័យដែលមានកំហុសតែមួយនៃលទ្ធផលដែលទទួលបានកិត្តិយសខ្ពស់បំផុតក្នុងវិស័យនេះ។
ហេតុអ្វីបានជាលទ្ធផល Gödel សំខាន់សម្រាប់ AI
គម្រោងនេះគឺជាការបង្ហាញដ៏គួរឱ្យទាក់ទាញនៃ AI ជាឧបករណ៍សិក្សាជាជាងការជំនួសអាហារូបករណ៍។ ការសង្ខេបត្រូវបានពិនិត្យមួយទំព័រដោយទំព័រដោយមនុស្សម្នាក់ក្នុងចំណោមមនុស្សពីរបីនាក់ដែលមានសមត្ថភាពអានឯកសារប្រភព ហើយតម្លៃរបស់វាបានមកពីការរក្សាទុកបណ្ណសារទាំងមូលនៅក្នុងទិដ្ឋភាពក្នុងពេលតែមួយ ដែលជាកិច្ចការដែលលើសពីការចងចាំធ្វើការរបស់អ្នកអានរបស់មនុស្ស ប៉ុន្តែមិនមែនជាបង្អួចបរិបទនៃគំរូភាសានោះទេ។
វាក៏កើតឡើងនៅពេលនៃការជជែកពិភាក្សាគ្នាយ៉ាងខ្លាំងអំពីតួនាទីរបស់ AI នៅក្នុងគណិតវិទ្យា។ ដូចដែលការផ្សាយពីមុនរបស់យើងនៃអត្ថបទរបស់ Terence Tao ស្តីពី AI និងគណិតវិទ្យាបានកត់សម្គាល់ គណិតវិទូឈានមុខគេកំពុងពិភាក្សាដោយបើកចំហអំពីរបៀបដែលជំនួយម៉ាស៊ីននឹងផ្លាស់ប្តូរការរកឃើញ និងភស្តុតាង។ សៀវភៅការងារ Gödel ផ្តល់នូវឧទាហរណ៍ជាក់ស្តែងមួយ៖ មិនមែន AI បង្ហាញទ្រឹស្តីបទថ្មីទេ ប៉ុន្តែ AI បង្ហាញពីភាពប៉ិនប្រសប់របស់មនុស្សដែលបានបង្ហាញឱ្យឃើញរួចមកហើយ និងមិនដែលបោះពុម្ពផ្សាយ។
សម្រាប់ប្រវត្តិសាស្រ្តនៃតក្កវិជ្ជា ការរកឃើញបានបង្ហាញថា លទ្ធផលរាប់សិបដែលត្រូវបានរាប់បញ្ចូលក្នុងទសវត្សរ៍ក្រោយៗមក មានបុព្វកថាដែលមិនទាន់បានអាននៅក្នុងបណ្ណសារព្រីនស្តុន ហើយប្រធានបទដែលមិនទាន់បានស្វែងយល់ចំនួន 14 នៅក្នុងកំណត់ត្រារបស់ Gödel អាចនៅតែបង្កើតការងារថ្មី។ សម្រាប់ការស្រាវជ្រាវ AI វគ្គនេះគឺជាករណីសិក្សាមួយនៅក្នុងកិច្ចសហការដំបូងនៃការផ្ទៀងផ្ទាត់៖ គំរូនេះបានផលិតការសំយោគដែលមនុស្សអាចធ្វើបាន ហើយមនុស្សចាប់បាន ពិនិត្យ និងកំណត់បរិបទគ្រប់ទំព័ររបស់វា។
Gödel ដែលបានភៀសខ្លួនចេញពីប្រទេសអូទ្រីសក្នុងឆ្នាំ 1940 ហើយបានក្លាយជាមិត្តជិតស្និទ្ធរបស់ Albert Einstein នៅវិទ្យាស្ថាន Princeton's Institute for Advanced Study បានស្លាប់នៅឆ្នាំ 1978។ បួនទសវត្សរ៍ក្រោយមក សៀវភៅកត់ត្រាដែលគាត់បានបន្សល់ទុកនៅទីបំផុតត្រូវបានអានពេញ ដោយជំនួយពីម៉ាស៊ីន ដឹកនាំដោយមនុស្សម្នាក់ក្នុងចំណោមមនុស្ស 6 នាក់នៅលើផែនដីដែលអាចធ្វើវាតែម្នាក់ឯងបាន។
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
