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