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