Добици:
- Способност коришћења вештачке интелигенције за проналажење идеје и методе доказа (директна, контрадикторна, индуктивна, контрапозитивна) и самопровера валидности сваког логичког корака
- Способност да се идентификују недостаци у доказима, имплицитне претпоставке и неоправдани скокови иза израза као што су 'јасно', 'без прејудицирања општости'
- Способност да се направи разлика између течности и ваљаности тражењем контрапримера пре него што се ослони на доказ, а да није сигуран у истинитост тврдње.
Математички доказ је прецизно извођење тврдње у логичким корацима из прихваћених аксиома и претходно доказаних теорема. Доказ је најригорознији производ математике: један неважећи логички прелаз, изостављање или имплицитна претпоставка коју називамо „празнином“, побија цео доказ. Вештачка интелигенција је веома вешта у стварању убедљивог текста за доказ — и управо зато је опасна. Текст који делује уверљиво није ваљан доказ. У овој јединици ћете научити како да користите АИ као партнера за израду доказа и како да прегледате сваки логичан корак.
Прве две дефиниције. Скица доказа је резиме који даје главну идеју и костур доказа, али не испуњава сваки детаљ. Доказни јаз је скок у коме доказ каже „овде следи“, али га заправо не оправдава. Највећи ризик при раду са вештачком интелигенцијом су празнине које покривају убедљиве реченице: текст је течан, пун везника као што су „зато“ и „очигледно“, али са скоковима између тога заправо нису доказани.
Снаге и слабости АИ у доказу
АИ добро ради две ствари у доказу: (1) евоцира стандардну идеју доказа познате теореме, (2) сугерише која метода (индукција, контрадикција, директна, контрапозитивна) би могла бити прикладна за доказ. Његова слабост је следећа: обезбеђивање да је сваки корак оригиналног или суптилног доказа заиста валидан. АИ може произвести „погрешне доказе“ који изгледају истинити, али су заправо лажни – на пример, може прескочити основни случај у кораку индукције, или може рећи „без нарушавања општости“, али направити претпоставку која заправо нарушава општост.
Дакле, златно правило у доказу: користите АИ да пронађете и оцртате идеју доказа; Проверите исправност сваког логичног корака сами. Пре него што „прихватите“ доказ, уверите се да је свако „дакле“ заиста валидно.
Корак по корак: провера доказа
1. Појасните тврдњу и претпоставке. Шта се доказује? Под којим претпоставкама? Ако су ове нејасне, доказ је такође нејасан.
2. Познавати методу доказа. Директно, контрадикторно, индуктивно, контрапозитивно? Знати структурне захтеве методе (нпр., у индукцији, основни случај + корак индукције је од суштинског значаја).
3. Питајте свако „зато“. При сваком логичном прелазу, „да ли ово заиста следи из претходних корака?“ питати. Најподмуклије празнине крију се иза израза „очигледно”, „лако се види”, „не губећи општост”.
4. Потражите имплицитне претпоставке. Да ли се доказ ослања на неизречену претпоставку? На пример, може се прећутно прихватити да је број позитиван или да је функција континуирана.
5. Покушајте са противпримером. Ако је тврдња лажна, противпример је руши. Пре него што прихватите доказ, проверите да ли је тврдња заиста тачна у једноставним специјалним случајевима.
6. Консултујте орган за набавку. Упоредите стандардни доказ за познате теореме са поузданим извором (уџбеник, рецензирани извор).
Наговештај: Израз „без губитка општости“ у доказу је мач са две оштрице. Понекад је то заправо валидно (ако постоји симетрија), понекад је скривена грешка. АИ често користи овај израз. Сваки пут се правдајте да „генералност није заиста нарушена“; Не верујте АИ на реч.
Методе доказивања и замке
метода доказа
Структура
Најчешћа АИ замка
директним
Претпоставка → ... → Закључак
прескачући корак између
противречност
Претпоставите супротно → пронађите контрадикцију
Контрадикција није стварна
индукција
Основни случај + корак
Заборављајући основну ситуацију
контрапозитиван
¬Закључак → ¬Претпоставка
лажна негација
Контрапример (побијање)
један противпример
Контрапример је неважећи
три мини кофера
Случај 1 — Непотпун основни случај. Наставник је имао АИ да индукцијом докаже формулу "1 + 2 + ... + н = н(н+1)/2". АИ је исправно написао корак индукције, али никада није проверио основни случај (н=1). Наставник пита "где је основни случај?" упитао је; АИ је додао. Без основног стања, индукција је неважећа; Провера од 30 секунди сачувала је доказ.
Случај 2 — Тајно дељење нулом. Један ученик је видео смешан „доказ“ попут „а = б за свако а, б“ и упитао АИ „где је овде грешка?“ упитао је. ИЗ је тачно показао да се доказ дели са (а − б) у једном кораку, а под претпоставком а = б, ово је дељење са нулом. Овде је АИ био успешан као ревизор; али је ученик ипак својом руком верификовао овај корак.
Случај 3 — Убедљиви лажни докази. Студент инжењерства је имао АИ да докаже неједнакост. Текст је био течан и убедљив, али када је узео квадратни корен у једном кораку, игнорисао је могућност и позитивних и негативних корена и узимао само позитивне. Студент је пронашао ову празнину када је испитивао сваки корак. Доказ је постао валидан када је додат додатни услов (позитивност варијабли).
Четири шаблона за копирање
1) Захтевање нацрта (идеја):
Која МЕТОДА би била прикладна за доказивање следеће тврдње (директна, контрадикторна, индуктивна, контрапозитивна)? Само дајте ГЛАВНУ ИДЕЈУ и костур доказа, немојте писати цео доказ. Тврдња: [овде]
2) Корак по корак, образложени доказ:
Докажите следећу тврдњу помоћу [метода]: [тврдња]. Запишите на који аксиом/теорему/дефиницију се ослањате за сваки корак. НЕ користите изразе као што су "јасно" или "лако"; Потпуно оправдајте сваки прелаз. Ако је индукција, посебно прикажите основни случај и корак индукције.
3) Потрага за пропустом:
Погледајте доказ испод. САМО потражите логичке празнине, имплицитне претпоставке и неоправдане скокове. Проверите да ли свако „дакле“ заиста следи из претходних корака. Запишите сваку празнину коју нађете са којим кораком се налази. Доказ: [овде]
4) Потражите контрапример:
Желим да тестирам да ли је следећа тврдња ТАЧНА: [цлаим].Прво тестирајте у једноставним специјалним случајевима; покушај да нађеш КОНТРАПРИМЕР. Ако нађете противпример, покажите га; Ако не можете да га пронађете, наведите ситуације које сте покушали (али ово није доказ, само тражите доказе).
Слаби промпт / Јаки промпт
Слабо: "Докажи да је √2 ирационално."
Резултат: Долази стандардни доказ, али корак (нпр. „онда је п паран“) је можда прескочен без оправдања и нећете приметити.
Снажан: „Докажите КОНТРАДИКЦИЈОМ да је √2 ирационално. Запишите коју сте претпоставку користили у сваком кораку; такође оправдајте средње тврдње као што је 'Ако је п² паран, онда је п паран'. На крају, јасно покажите где тачно настаје контрадикција.
Резултат: Свака посредна тврдња је оправдана, извор противречности је јасан, нема празнина.
Уобичајене грешке
- Бркање течности са валидношћу. Убедљив текст није валидан доказ; Сваки корак мора бити надгледан.
- Прескакање основног стања у индукцији. АИ често заборавља основни случај; Сам корак индукције није довољан.
- Прихватити „без губљења општости“ без питања. Ова изјава може бити латентна грешка; Сваки пут оправдајте.
- Не видећи имплицитне претпоставке. Претпоставке као што су позитивност, континуитет, различита од нуле итд. могу нечујно процурити у доказ.
- Веровати доказу без покушаја противпримера. Ако је тврдња лажна, лаж је и доказ; Прво проверите истинитост тврдње у једноставним случајевима.
Опрез: АИ може да произведе „доказ“ чак и за тврдњу која је заправо лажна — пошто производи текст, не гарантује логичку валидност. Ако нисте сигурни у тачност тврдње, прво потражите контрапример. „Доказ“ лажне тврдње нужно садржи рупу; Ваш посао је да пронађете ту празнину.
Укратко
Доказ је најригорознији производ математике, а АИ може произвести убедљиве, али неважеће „доказе“. Користите вештачку интелигенцију да пронађете идеју и метод доказа; Проверите исправност сваког логичног корака сами. Потражите кључне случајеве, имплицитне претпоставке и рупе у закону иза фраза као што су „јасно“ и „без предрасуда“. Ако нисте сигурни у истинитост неке тврдње, покушајте са контрапримером пре него што верујете доказу. Течност није валидност.
Задатак апликације
Изаберите стандардну теорему (нпр. „збир два парна броја је паран“ или „√2 је ирационалан“). Нека АИ то докаже корак по корак са 2. шаблоном. Затим поново дајте исти доказ као 3. шаблон за тражење празнина — нека провери свој доказ. Затим ручно поставите упит за сваки „дакле“: да ли постоји основни случај, да ли постоји имплицитна претпоставка, да ли је сваки прелаз оправдан? Пронађите и забележите бар једну потенцијалну празнину или тачку побољшања.
контролна листа
- [ ] Појаснио сам тврдњу и претпоставке.
- [ ] Упознао сам методу доказа и њене структурне захтеве.
- [ ] Проверио сам да свако „дакле“ следи из претходних корака.
- [ ] Урадио сам проверу основног случаја / имплицитне претпоставке.
- [ ] Тестирао сам тврдњу у једноставним случајевима и тражио контрапримере.
- [ ] Упоредио сам стандардни доказ за познате теореме са поузданим извором.