Печалби:
- Способност за използване на изкуствен интелект за намиране на идеята и метода на доказателство (пряко, противоречие, индуктивно, контрапозитивно) и самопроверка на валидността на всяка логическа стъпка
- Способност за идентифициране на пропуски в доказателствата, имплицитни предположения и неоправдани прескачания зад изрази като „ясно“, „без да се засяга общото“
- Способност да се прави разлика между плавност и валидност чрез търсене на контрапримери, преди да се разчита на доказателство, без да сте сигурни в истинността на твърдението.
Математическото доказателство е точното извеждане на твърдение в логически стъпки от приети аксиоми и доказани преди това теореми. Доказателството е най-строгият продукт на математиката: единичен невалиден логически преход, пропуск или имплицитно предположение, което наричаме „празнина“, опровергава цялото доказателство. Изкуственият интелект е много опитен в създаването на убедително изглеждащ текст за доказателство - и точно затова е опасен. Текст, който изглежда убедителен, не е валидно доказателство. В този модул ще научите как да използвате AI като партньор за изготвяне на доказателства и как да проверявате всяка логическа стъпка.
Първите две определения. Скица за доказателство е резюме, което дава основната идея и скелета на доказателството, но не попълва всеки детайл. Пропускът в доказателството е скок, при който доказателството казва „тук следва“, но всъщност не го оправдава. Най-големият риск при работа с AI са пропуските, покрити от убедителни изречения: текстът е течен, пълен със съюзи като „следователно“ и „очевидно“, но със скокове между тях, които всъщност не са доказани.
Силни и слаби страни на AI в доказателство
AI прави две неща добре в доказателството: (1) извиква стандартната идея за доказателство на известна теорема, (2) предлага какъв метод (индукция, противоречие, директен, контрапозитивен) може да е подходящ за доказателство. Неговата слабост е следната: гарантира, че всяка стъпка от оригинално или фино доказателство е действително валидна. AI може да създаде „погрешни доказателства“, които изглеждат верни, но всъщност са неверни – например може да пропусне основния случай в стъпка на индукция или може да каже „без да нарушава общото“, но да направи предположение, което всъщност нарушава общото.
Така че златното правило в доказателството: използвайте AI, за да намерите и очертаете идеята за доказателството; Проверете сами валидността на всяка логическа стъпка. Преди да „приемете“ доказателство, уверете се, че всяко „следователно“ е действително валидно.
Стъпка по стъпка: проверка на доказателство
1. Изяснете твърдението и предположенията. Какво се доказва? При какви предположения? Ако те са неясни, доказателството също е неясно.
2. Познайте доказателствения метод. Директно, чрез противоречие, индуктивно, контрапозитивно? Познайте структурните изисквания на метода (напр. при индукция основният случай + стъпката на индукция е от съществено значение).
3. Поставяйте под въпрос всяко „следователно“. При всеки логически преход "това наистина ли следва от предишните стъпки?" попитайте. Най-коварните пропуски се крият зад изразите "очевидно", "лесно се вижда", "без да се губи обобщеност".
4. Търсете имплицитни предположения. Доказателството разчита ли на неизказано предположение? Например, може мълчаливо да се приеме, че дадено число е положително или функцията е непрекъсната.
5. Опитайте с контрапример. Ако твърдението е невярно, контрапримерът го разрушава. Преди да приемете доказателството, проверете дали твърдението е действително вярно в прости специални случаи.
6. Консултирайте се с орган за обществени поръчки. Сравнете стандартното доказателство за известни теореми с надежден източник (учебник, рецензиран източник).
Съвет: Фразата „без загуба на общоприетост“ в доказателството е нож с две остриета. Понякога действително е валидно (ако има симетрия), понякога е скрита грешка. AI използва този израз много. Обосновавайте се всеки път, че "обобщеността всъщност не е нарушена"; Не вярвайте на думата на AI.
Методи за доказване и клопки
доказателствен метод
Структура
Най-често срещаният AI капан
директен
Успение → ... → Заключение
пропускане на стъпка между тях
противоречие
Приемете обратното → намерете противоречие
Противоречието не е реално
индукция
Основен случай + стъпало
Забравяне на основната ситуация
контрапозитивен
¬Заключение → ¬Предположение
фалшиво отрицание
Контрапример (опровержение)
единствен контрапример
Контрапримерът е невалиден
три мини калъфа
Случай 1 — Непълен основен случай. Един учител накара изкуствения интелект да докаже формулата "1 + 2 + ... + n = n(n+1)/2" чрез индукция. AI написа индукционната стъпка правилно, но никога не провери основния случай (n=1). Учителят пита "къде е основният случай?" попита той; Добавен AI. Без основното състояние индукцията е невалидна; 30-секундна проверка спаси доказателството.
Случай 2 — Тайно деление на нула. Един ученик видя нелепо „доказателство“ като „a = b за всяко a, b“ и попита ИИ „къде е грешката тук?“ – попита той. YZ правилно показа, че доказателството дели на (a − b) в една стъпка и при предположението a = b, това е деление на нула. Тук AI беше успешен като одитор; но ученикът все пак провери тази стъпка със собствената си ръка.
Случай 3 — Убедителни фалшиви доказателства. Студент по инженерство накара изкуствен интелект да докаже неравенство. Текстът беше гладък и убедителен, но когато се изваждаше квадратен корен в една стъпка, той пренебрегваше възможността за положителни и отрицателни корени и вземаше само положителния. Студентът намери тази празнина, когато постави под въпрос всяка стъпка. Доказателството става валидно, когато се добавя допълнително условие (положителност на променливите).
Четири копируеми шаблона
1) Искане на чернова за доказателство (идея):
Кой МЕТОД би бил подходящ за доказване на следното твърдение (директен, противоречив, индуктивен, контрапозитивен)? Просто дайте ГЛАВНАТА ИДЕЯ и скелета на доказателството, не пишете пълното доказателство. Искова молба: [тук]
2) Стъпка по стъпка, аргументирано доказателство:
Докажете следното твърдение с [метод]: [претенция]. Запишете на коя аксиома/теорема/дефиниция разчитате за всяка стъпка. НЕ използвайте изрази като "ясно" или "лесно"; Напълно оправдайте всеки преход. Ако е индукция, покажете отделно основния случай и стъпката на индукция.
3) Доказателство за търсене на вратичка:
Вижте доказателството по-долу. ПРОСТО потърсете логически пропуски, имплицитни предположения и неоправдани скокове. Проверете дали всяко „следователно“ действително следва от предишните стъпки. Запишете всяка празнина, която откриете, с коя стъпка се намира. Доказателство: [тук]
4) Търсене на контрапример:
Искам да тествам дали следното твърдение е ВЯРНО: [claim].Първо го тествайте в прости специални случаи; опитайте се да намерите КОНТРАПИМЕР. Ако намерите контрапример, покажете го; Ако не можете да го намерите, избройте ситуациите, които сте опитали (но това не е доказателство, просто търсите доказателства).
Слаба подкана / Силна подкана
Слаб: "Докажете, че √2 е ирационално."
Резултат: Стандартното доказателство идва, но стъпка (напр. „тогава p е четно“) може да е била пропусната без основание и вие няма да забележите.
Силно: „Докажете ЧРЕЗ ПРОТИВОРЕЧИЕ, че √2 е ирационално. Запишете кое предположение сте използвали на всяка стъпка; също обосновете междинни твърдения като „Ако p² е четно, то p е четно“. Накрая покажете ясно къде точно възниква противоречието.“
Резултат: Всяко междинно твърдение е оправдано, източникът на противоречието е ясен, не са оставени пропуски.
Често срещани грешки
- Объркване на плавността с валидността. Убедителният текст не е валидно доказателство; Всяка стъпка трябва да се контролира.
- Прескачане на основното състояние при индукция. AI често забравя основния случай; Само индукционната стъпка не е достатъчна.
- Да приемем „без да губим общоприетостта“ без въпроси. Това твърдение може да е скрита грешка; Обосновавайте го всеки път.
- Не виждам имплицитни предположения. Предположения като позитивност, непрекъснатост, ненула и т.н. могат тихо да изтекат в доказателството.
- Доверете се на доказателството, без да опитвате контрапример. Ако твърдението е невярно, доказателството също е невярно; Тествайте първо истинността на твърдението в прости случаи.
Внимание: AI може да създаде „доказателство“ дори за твърдение, което всъщност е невярно - тъй като произвежда текст, той не гарантира логическа валидност. Ако не сте сигурни в точността на дадено твърдение, първо потърсете контрапример. „Доказателството“ за невярно твърдение непременно съдържа вратичка; Вашата работа е да намерите тази празнина.
В обобщение
Доказателството е най-строгият продукт на математиката и AI може да създаде убедителни, но невалидни „доказателства“. Използвайте AI, за да намерите доказателствената идея и метод; Проверете сами валидността на всяка логическа стъпка. Потърсете ключови случаи, имплицитни предположения и вратички зад фрази като „ясно“ и „без предразсъдъци“. Ако не сте сигурни в истинността на дадено твърдение, опитайте с контрапример, преди да се доверите на доказателството. Плавността не е валидност.
Задача за приложение
Изберете стандартна теорема (напр. „сумата от две четни числа е четна“ или „√2 е ирационална“). Накарайте AI да го докаже стъпка по стъпка с втория шаблон. След това дайте отново същото доказателство като 3-тия шаблон за търсенето на пропуски — оставете го да провери собственото си доказателство. След това направете ръчно запитване за всяко „следователно“: има ли основен случай, има ли имплицитно предположение, оправдан ли е всеки преход? Намерете и отбележете поне един потенциален пропуск или точка за подобрение.
контролен списък
- [ ] Изясних твърдението и предположенията.
- [ ] Запознах се с метода на доказване и неговите структурни изисквания.
- [ ] Проверих, че всяко „следователно“ следва от предишните стъпки.
- [ ] Направих проверка на основен случай/имплицитно допускане.
- [ ] Тествах твърдението в прости случаи и потърсих контрапримери.
- [ ] Сравних стандартното доказателство за известни теореми с надеждния източник.