ලාභ:
- ඔප්පු කිරීමේ අදහස සහ ක්රමය සොයා ගැනීමට කෘතිම බුද්ධිය භාවිතා කිරීමේ හැකියාව (සෘජු, ප්රතිවිරෝධතා, ප්රේරක, ප්රතිවිරෝධක) සහ එක් එක් තාර්කික පියවරවල වලංගු භාවය ස්වයං-පරීක්ෂා කිරීම
- 'පැහැදිලිව', 'සාමාන්යත්වයට අගතියකින් තොරව' වැනි ප්රකාශන පිටුපස සාක්ෂිමය හිඩැස්, ව්යංග උපකල්පන සහ අසාධාරණ පැනීම් හඳුනා ගැනීමේ හැකියාව
- හිමිකම් පෑමක සත්යතාව පිළිබඳව සහතික නොවී සාක්ෂි මත විශ්වාසය තැබීමට පෙර ප්රතිඋදාහරණ සෙවීමෙන් චතුරතාව සහ වලංගුභාවය අතර වෙනස හඳුනා ගැනීමේ හැකියාව.
ගණිතමය සාධනය යනු පිළිගත් ප්රත්යක්ෂ සහ කලින් ඔප්පු කරන ලද ප්රමේයයන්ගෙන් තාර්කික පියවරවල හිමිකම් පෑමක නිරවද්ය ව්යුත්පන්නයයි. සාධනය යනු ගණිතයේ දැඩිම නිෂ්පාදනයයි: තනි වලංගු නොවන තාර්කික සංක්රාන්තියක්, අප විසින් "පරතරයක්" ලෙස හඳුන්වන අතපසුවීමක් හෝ ව්යංග උපකල්පනයක්, සම්පූර්ණ සාක්ෂියම ප්රතික්ෂේප කරයි. කෘත්රිම බුද්ධිය සාක්ෂි සඳහා ඒත්තු ගැන්විය හැකි පෙළ නිපදවීමට ඉතා දක්ෂයි - ඒ නිසාම එය භයානකයි. ඒත්තු ගැන්වෙන සේ පෙනෙන පාඨයක් වලංගු සාක්ෂියක් නොවේ. මෙම ඒකකය තුළ ඔබ සාධනය කෙටුම්පත් කිරීමේ හවුල්කරුවෙකු ලෙස AI භාවිතා කරන්නේ කෙසේද සහ එක් එක් තාර්කික පියවර පරීක්ෂා කරන්නේ කෙසේදැයි ඉගෙන ගනු ඇත.
පළමු අර්ථ දැක්වීම් දෙක. සාධන සටහනක් යනු සාධනයක ප්රධාන අදහස සහ ඇටසැකිල්ල ලබා දෙන සාරාංශයකි, නමුත් සෑම විස්තරයක්ම පුරවන්නේ නැත. සාධන පරතරයක් යනු සාධනය "මෙන්න එය පහත දැක්වේ" යැයි පවසන නමුත් ඇත්ත වශයෙන්ම එය සාධාරණීකරණය නොකරන පිම්මකි. AI සමඟ වැඩ කිරීමේදී ඇති ලොකුම අවදානම නම් ඒත්තු ගැන්වීමේ වාක්ය මගින් ආවරණය වන හිඩැස් ය: පෙළ තරලයකි, “එබැවින්” සහ “පැහැදිලිවම” වැනි සංයෝජනවලින් පිරී ඇත, නමුත් ඒවා අතර පැනීම් ඇත්ත වශයෙන්ම ඔප්පු නොවේ.
ඔප්පු කිරීමේදී AI හි ශක්තීන් සහ දුර්වලතා
AI සාධනය සඳහා හොඳින් කරුණු දෙකක් කරයි: (1) දන්නා ප්රමේයයක් සනාථ කිරීමේ සම්මත අදහස මතු කරන්න, (2) සාධනයක් සඳහා සුදුසු ක්රමය (ප්රේරණය, ප්රතිවිරෝධතාව, සෘජු, ප්රතිවිරෝධක) යෝජනා කරන්න. එහි දුර්වලතාවය මෙයයි: මුල් හෝ සියුම් සාක්ෂියක සෑම පියවරක්ම ඇත්ත වශයෙන්ම වලංගු බව සහතික කිරීම. AI හට සත්ය ලෙස පෙනෙන නමුත් ඇත්ත වශයෙන්ම අසත්ය වන “බොරු සාක්ෂි” නිපදවිය හැකිය - නිදසුනක් ලෙස, එයට ප්රේරක පියවරකදී මූලික අවස්ථාව මඟ හැරිය හැක, නැතහොත් “සාමාන්යත්වය බිඳ නොදැමීම” යැයි පැවසිය හැකි නමුත් ඇත්ත වශයෙන්ම සාමාන්යත්වය බිඳ දමන උපකල්පනයක් කළ හැකිය.
එබැවින් සාධනයෙහි ස්වර්ණමය රීතිය: සාධනය පිළිබඳ අදහස සොයා ගැනීමට සහ ගෙනහැර දැක්වීමට AI භාවිතා කරන්න; එක් එක් තාර්කික පියවර වල වලංගු භාවය ඔබම පරීක්ෂා කරන්න. සාක්ෂියක් "පිළිගැනීමට" පෙර, එක් එක් "එබැවින්" සත්ය වශයෙන්ම වලංගු බව තහවුරු කර ගන්න.
පියවරෙන් පියවර: සාක්ෂියක් පරීක්ෂා කිරීම
1. හිමිකම් සහ උපකල්පන පැහැදිලි කරන්න. ඔප්පු වන්නේ කුමක්ද? කුමන උපකල්පන යටතේද? මේවා අපැහැදිලි නම්, සාක්ෂි ද අපැහැදිලි ය.
2. සාධන ක්රමය දැනගන්න. සෘජුව, ප්රතිවිරෝධයෙන්, ප්රේරක වශයෙන්, ප්රතිවිරෝධී ලෙස? ක්රමයේ ව්යුහාත්මක අවශ්යතා දැන ගන්න (උදා: ප්රේරණයේදී, මූලික අවස්ථාව + ප්රේරක පියවර අත්යවශ්ය වේ).
3. සෑම "එබැවින්" ප්රශ්න කරන්න. සෑම තාර්කික සංක්රාන්තියකදීම, "මෙය ඇත්ත වශයෙන්ම පෙර පියවර වලින් අනුගමනය කරන්නේද?" අහන්න. වඩාත්ම ද්රෝහී හිඩැස් "පැහැදිලිවම", "එය පහසුවෙන් දැකිය හැකිය", "සාමාන්ය බව නැති නොකර" යන ප්රකාශයන් පිටුපස සැඟවී ඇත.
4. ව්යංග උපකල්පන සොයන්න. සාක්ෂිය රඳා පවතින්නේ නොකියූ උපකල්පනයක් මතද? උදාහරණයක් ලෙස, සංඛ්යාවක් ධන හෝ ශ්රිතයක් සන්තතික බව නිහඬව පිළිගත හැක.
5. ප්රතිඋදාහරණයක් උත්සාහ කරන්න. හිමිකම් පෑම අසත්ය නම්, ප්රතිඋදාහරණයක් එය කඩා දමයි. සාක්ෂි පිළිගැනීමට පෙර, සරල විශේෂ අවස්ථා වලදී හිමිකම් පෑම සත්ය දැයි පරීක්ෂා කරන්න.
6. ප්රසම්පාදන අධිකාරියක් අමතන්න. දන්නා ප්රමේය සඳහා සම්මත සාක්ෂි විශ්වාසනීය මූලාශ්රයක් සමඟ සසඳන්න (පෙළපොත, සම-සමාලෝචනය කළ මූලාශ්රය).
ඉඟිය: සාක්ෂියේ ඇති "සාමාන්ය බව නැති නොවී" යන වාක්ය ඛණ්ඩය දෙබිඩි කඩුවකි. සමහර විට එය ඇත්ත වශයෙන්ම වලංගු වේ (සමමිතිය තිබේ නම්), සමහර විට එය සැඟවුණු දෝෂයකි. AI මෙම ප්රකාශනය ගොඩක් භාවිතා කරයි. "සාමාන්යත්වය සැබවින්ම බිඳී නැත" යන සෑම අවස්ථාවකම ඔබම සාධාරණීකරණය කරන්න; ඒ සඳහා AI හි වචනය ගන්න එපා.
ඔප්පු කිරීමේ ක්රම සහ අන්තරායන්
ඔප්පු කිරීමේ ක්රමය
ව්යුහය
වඩාත් පොදු AI උගුල
සෘජු
උපකල්පනය → ... → නිගමනය
අතරමැද පියවරක් මග හැරීම
ප්රතිවිරෝධතාව
ප්රතිවිරුද්ධ දේ උපකල්පනය කරන්න → පරස්පරතාව සොයන්න
පරස්පරය සැබෑ නොවේ
ප්රේරණය
මූලික නඩුව + පියවර
මූලික තත්ත්වය අමතක කිරීම
ප්රතිංධිසරාේධක
¬ නිගමනය → ¬උපකල්පනය
ව්යාජ නිෂේධනය
ප්රතිඋදාහරණය (ප්රතික්ෂේප කිරීම)
තනි ප්රතිවිරුද්ධ උදාහරණයක්
ප්රතිවිරුද්ධ උදාහරණය වලංගු නැත
කුඩා නඩු තුනක්
නඩුව 1 - අසම්පූර්ණ පාදක නඩුව. ගුරුවරයෙකුට AI මගින් "1 + 2 + ... + n = n(n+1)/2" සූත්රය ප්රේරණය මගින් ඔප්පු කරන ලදී. AI විසින් ප්රේරක පියවර නිවැරදිව ලියා ඇති නමුත් කිසි විටෙක මූලික නඩුව (n=1) පරීක්ෂා කළේ නැත. ටීචර් අහනවා "කොහෙද බේස් කේස් එක?" ඔහු ඇසුවා; AI එකතු කළේය. භූගත තත්ත්වය නොමැතිව, ප්රේරණය වලංගු නොවේ; තත්පර 30ක චෙක්පතක් සාක්ෂිය සුරැකිණි.
නඩුව 2 - බිංදුවෙන් රහස් බෙදීම. එක් ශිෂ්යයෙක් “සෑම a, b සඳහාම a = b” වැනි හාස්යජනක “සාක්ෂියක්” දැක “මෙහි වැරැද්ද කොතැනද?” AI ගෙන් ඇසීය. ඔහු ඇසුවේය. YZ නිවැරදිව පෙන්නුම් කළේ සාධනය එක් පියවරකදී (a - b) මගින් බෙදෙන අතර, a = b උපකල්පනය යටතේ, මෙය ශුන්යයෙන් බෙදීමකි. මෙහිදී AI විගණකයෙකු ලෙස සාර්ථක විය; නමුත් ශිෂ්යයා තවමත් මෙම පියවර ඔහුගේම අතින් තහවුරු කළේය.
නඩුව 3 - බොරු සාක්ෂි ඒත්තු ගැන්වීම. ඉන්ජිනේරු ශිෂ්යයෙකුට AI අසමානතාවයක් ඔප්පු විය. පාඨය චතුර සහ ඒත්තු ගැන්වෙන නමුත්, එක් පියවරක් තුළ වර්ග මූලයන් ගන්නා විට, එය ධන සහ සෘණ යන දෙකෙහිම හැකියාව නොසලකා හැර ධනාත්මක පමණක් ගත්තේය. ශිෂ්යයා සෑම පියවරක්ම ප්රශ්න කරන විට මෙම පරතරය සොයා ගත්තේය. අමතර කොන්දේසියක් (විචල්යවල ධනාත්මක බව) එකතු කළ විට සාධනය වලංගු විය.
පිටපත් කළ හැකි සැකිලි හතරක්
1) සාක්ෂි කෙටුම්පතක් ඉල්ලා සිටීම (අදහස):
පහත ප්රකාශය (සෘජු, ප්රතිවිරෝධතා, ප්රේරක, ප්රතිවිරෝධක) ඔප්පු කිරීමට සුදුසු ක්රමය කුමක්ද? MAIN IDEA සහ සාධනයේ ඇටසැකිල්ල පමණක් දෙන්න, සම්පූර්ණ සාක්ෂිය ලියන්න එපා. හිමිකම් පෑම: [මෙහි]
2) පියවරෙන් පියවර, තර්කානුකූල සාක්ෂි:
පහත හිමිකම් පෑම [ක්රමය] සමඟින් ඔප්පු කරන්න: [හිමිකම් පෑම]. එක් එක් පියවර සඳහා ඔබ රඳා පවතින්නේ කුමන ප්රවාදය/ප්රමේයය/නිර්වචනයද යන්න ලියන්න. "පැහැදිලිව" හෝ "පහසුවෙන්" වැනි ප්රකාශන භාවිතා නොකරන්න; සෑම සංක්රාන්තියක්ම සම්පූර්ණයෙන්ම සාධාරණීකරණය කරන්න. ප්රේරණය නම්, මූලික නඩුව සහ ප්රේරක පියවර වෙන වෙනම පෙන්වන්න.
3) සාධනය සිදුරු සෙවීම:
පහත සාක්ෂිය පරීක්ෂා කරන්න. තාර්කික හිඩැස්, ව්යංග උපකල්පන සහ අසාධාරණ පැනීම් සඳහා සොයන්න. එක් එක් "එබැවින්" ඇත්ත වශයෙන්ම පෙර පියවර වලින් අනුගමනය කරන්නේ දැයි පරීක්ෂා කරන්න. ඔබ සොයා ගන්නා සෑම හිඩැසක්ම එය කුමන පියවර සමඟදැයි ලියන්න. සාධනය: [මෙහි]
4) ප්රතිඋදාහරණ සොයන්න:
මට පහත හිමිකම් පෑම සත්ය දැයි පරීක්ෂා කිරීමට අවශ්යයි: [හිමිකම් පෑම]. පළමුව එය සරල විශේෂ අවස්ථා වලදී පරීක්ෂා කරන්න; COUNTEREXAMPLE එකක් සොයා ගැනීමට උත්සාහ කරන්න. ඔබ ප්රතිඋදාහරණයක් සොයා ගන්නේ නම්, එය පෙන්වන්න; ඔබට එය සොයාගත නොහැකි නම්, ඔබ උත්සාහ කළ අවස්ථා ලැයිස්තුගත කරන්න (නමුත් මෙය සාක්ෂි නොවේ, සාක්ෂි පමණක් සොයමින්).
දුර්වල ක්ෂණික / ශක්තිමත් විමසුම
දුර්වල: "√2 අතාර්කික බව ඔප්පු කරන්න."
ප්රතිඵලය: සම්මත සාක්ෂිය පැමිණේ, නමුත් පියවරක් (උදා: "එවිට p ඉරට්ටේ") යුක්තිසහගත කිරීමකින් තොරව මඟ හැරිය හැකි අතර ඔබ නොදකිනු ඇත.
ප්රබල: "√2 අතාර්කික බව ප්රතිවිරෝධතා මගින් ඔප්පු කරන්න. ඔබ එක් එක් පියවරේදී කුමන උපකල්පනය භාවිතා කළේද යන්න ලියන්න; 'p² ඉරට්ටේ නම්, p ඉරට්ටේ' වැනි අතරමැදි හිමිකම් සාධාරණීකරණය කරන්න. අවසාන වශයෙන්, හරියටම ප්රතිවිරෝධය ඇති වන්නේ කොතැනද යන්න පැහැදිලිව පෙන්වන්න."
ප්රතිඵලය: සෑම අතරමැදි හිමිකම් පෑමක්ම යුක්ති සහගත ය, ප්රතිවිරෝධතාවේ මූලාශ්රය පැහැදිලිය, කිසිදු හිඩැසක් ඉතිරි නොවේ.
පොදු වැරදි
- ව්යාකූල භාවය වලංගුභාවය සමඟ. ඒත්තු ගැන්වෙන පාඨයක් වලංගු සාක්ෂියක් නොවේ; සෑම පියවරක්ම අධීක්ෂණය කළ යුතුය.
- ප්රේරණයේදී බිම් තත්ත්වය මඟ හැරීම. AI බොහෝ විට මූලික නඩුව අමතක කරයි; ප්රේරක පියවර පමණක් ප්රමාණවත් නොවේ.
- ප්රශ්න කිරීමකින් තොරව "සාමාන්ය බව නැති නොකර" පිළිගැනීමට. මෙම ප්රකාශය සැඟවුණු දෝෂයක් විය හැකිය; සෑම අවස්ථාවකදීම එය සාධාරණීකරණය කරන්න.
- ව්යංග උපකල්පන නොදැකීම. ධනාත්මක බව, අඛණ්ඩතාව, ශුන්ය නොවන යනාදී උපකල්පන නිශ්ශබ්දව සාක්ෂියට කාන්දු විය හැක.
- ප්රති ආදර්ශයක් උත්සාහ නොකර සාක්ෂිය විශ්වාස කිරීම. හිමිකම් පෑම අසත්ය නම්, සාක්ෂිය ද අසත්ය ය; ප්රථමයෙන් සරල අවස්ථා වලදී හිමිකම් පෑමේ සත්යතාව පරීක්ෂා කරන්න.
අවවාදයයි: සත්ය වශයෙන්ම අසත්ය ප්රකාශයක් සඳහා පවා AI හට “සාක්ෂි” ඉදිරිපත් කළ හැකිය - එය පෙළ නිපදවන බැවින්, එය තාර්කික වලංගුභාවය සහතික නොකරයි. හිමිකම් පෑමක නිරවද්යතාවය ගැන ඔබට විශ්වාස නැත්නම්, පළමුව ප්රතිඋදාහරණයක් සොයන්න. සාවද්ය හිමිකම් පෑමක "සාක්ෂි" තුළ අනිවාර්යයෙන් සිදුරක් අඩංගු වේ; ඔබේ කාර්යය වන්නේ එම පරතරය සොයා ගැනීමයි.
සාරාංශයකින්
සාධනය යනු ගණිතයේ වඩාත්ම දැඩි නිෂ්පාදනය වන අතර, AI හට ඒත්තු ගැන්වෙන නමුත් වලංගු නොවන "සාක්ෂි" නිපදවිය හැක. සාධන අදහස සහ ක්රමය සොයා ගැනීමට AI භාවිතා කරන්න; එක් එක් තාර්කික පියවර වල වලංගු භාවය ඔබම පරීක්ෂා කරන්න. ප්රධාන අවස්ථා, ව්යංග උපකල්පන සහ "පැහැදිලිව" සහ "අගතිසිද්ධියකින් තොරව" වැනි වාක්ය ඛණ්ඩ පිටුපස ඇති හිඩැස් සොයන්න. හිමිකම් පෑමක සත්යතාව පිළිබඳව ඔබට විශ්වාස නැත්නම්, සාක්ෂිය විශ්වාස කිරීමට පෙර ප්රතිඋදාහරණයක් උත්සාහ කරන්න. චතුර බව වලංගු නොවේ.
යෙදුම් කාර්යය
සම්මත ප්රමේයයක් තෝරන්න (උදා: "ඉරට්ටේ සංඛ්යා දෙකක එකතුව ඉරට්ටේ" හෝ "√2 අතාර්කිකයි"). AI එය 2 වන අච්චුව සමඟ පියවරෙන් පියවර ඔප්පු කිරීමට සලස්වන්න. ඉන්පසු පරතරය දඩයම සඳහා නැවතත් 3 වැනි සැකිල්ලට සමාන සාක්ෂියක් දෙන්න - ඔහුට ඔහුගේම සාක්ෂිය පරීක්ෂා කිරීමට ඉඩ දෙන්න. ඉන්පසු එක් එක් "එබැවින්" අතින් විමසන්න: මූලික නඩුවක් තිබේද, ව්යංග උපකල්පනයක් තිබේද, සෑම සංක්රාන්තියක්ම යුක්ති සහගතද? අවම වශයෙන් එක් විභව පරතරයක් හෝ වැඩිදියුණු කිරීමේ ලක්ෂ්යයක් සොයාගෙන සටහන් කරන්න.
පිරික්සුම් ලැයිස්තුව
- [ ] මම හිමිකම් සහ උපකල්පන පැහැදිලි කළෙමි.
- [ ] මම ඔප්පු කිරීමේ ක්රමය සහ එහි ව්යුහාත්මක අවශ්යතා දැන සිටියෙමි.
- [ ] මම එක් එක් "එබැවින්" පෙර පියවර වලින් අනුගමනය කරන බව සත්යාපනය කළෙමි.
- [ ] මම මූලික නඩුවක් / ව්යංග උපකල්පන පරීක්ෂාවක් කළා.
- [ ] මම හිමිකම් පෑම සරල අවස්ථා වලදී පරීක්ෂා කර ප්රතිඋදාහරණ සෙව්වෙමි.
- [ ] මම දන්නා ප්රමේයන් සඳහා සම්මත සාධනය විශ්වාසදායක මූලාශ්රය සමඟ සංසන්දනය කළෙමි.