Прибыль:
- Способность использовать искусственный интеллект для решения проблем в трех разных ролях: консультанта по стратегии, производителя решений и аудитора решений, в зависимости от уровня риска каждого.
- Способность систематически проверять каждый шаг решения путем нумерации, запроса правил, арифметической проверки, контрольных сумм и перечисления всех случаев.
- Возможность проверить как результат, так и решение независимыми методами, понимая, что правильный результат не означает правильный путь.
Решение математической задачи представляет собой цепочку взаимосвязанных шагов; Если какое-либо звено в цепочке нарушено, результат недействителен. ИИ очень хорошо умеет быстро выстраивать эту цепочку, но следить за ее прочностью должны люди. В этом модуле вы узнаете, как использовать ИИ в качестве партнера в решении проблем и, что более важно, как систематически контролировать каждый выполняемый шаг. Цель — воспользоваться преимуществами скорости ИИ, не упуская при этом ни одной ошибки.
Сначала определение: Пошаговая проверка — это проверка правильности каждого промежуточного шага решения один за другим. В математике «Правильен ли результат?» Вопроса недостаточно; «Правильен ли каждый промежуточный шаг?» Вопрос существенный. Потому что иногда неправильные шаги случайно приводят к правильному результату (неустойчивому решению), иногда единственная арифметическая ошибка в правильной стратегии портит результат.
Три разные роли ИИ в решении проблем
Вы можете использовать ИИ для решения проблем тремя разными способами, каждый из которых требует разной проверки:
- Консультант по стратегии: «Как мне решить эту проблему?» Здесь ИИ предлагает метод. Риск невелик, поскольку расчеты вы делаете сами.
- Генератор решений: «Решите эту задачу». Риск высок, поскольку и стратегия, и расчеты исходят от ИИ; Каждый шаг должен контролироваться.
- Средство проверки решений: «Проверьте мое решение». Это средний риск; ИИ может находить ошибки, но он также может создавать несуществующие ошибки или пропускать настоящую ошибку.
Самый безопасный подход обычно — объединить 1 и 3: получить стратегию от ИИ, выполнить расчет самостоятельно или с помощью SymPy, затем провести проверку ИИ и перекрестную проверку.
Шаг за шагом: как проверить решение
1. Пронумеруйте каждый шаг. Запросив у ИИ решение по пронумерованным шагам, вы сможете сказать: «На шаге 3 произошла ошибка».
2. На каждом шаге «какое правило?» сэр. Попросите ИИ записать, какое алгебраическое правило, теорема или тождество используется в каждом проходе. Если название правила неверное, шаг также сомнительный.
3. Проверьте арифметику отдельно. Даже если алгебраическая логика верна, числовые ошибки являются обычным явлением. Просмотрите каждое сложение, умножение и изменение знака.
4. Попробуйте границы и исключения. Проверьте результат на простых значениях, таких как x=0, x=1. Если формула бессмысленна при этих значениях, это ошибка.
5. Вернитесь назад. Проверьте результат производной, проинтегрировав, подставив корень уравнения и умножив факторизацию обратно.
6. Следите за единообразием размеров и единиц измерения. Если в прикладных задачах (например, при сложении метров и секунд) единицы не складываются, то формула неверна.
Совет: «Проверка обратной операцией» — самый мощный инструмент проверки в математике и практически бесплатен. Если вы нашли корень уравнения, подставьте его; Если вы взяли интеграл, возьмите его производную; Если вы выполнили факторизацию, умножьте обратно. Эта 30-секундная проверка предотвращает несколько часов неправильного направления.
Возможности обеспечения проистекают из его независимости от ИИ. Подставляя корень, вы совершаете детерминированную проверку, совершенно независимую от того, что делает ИИ в процессе решения: либо уравнение удовлетворяется, либо нет, промежуточного нет. Вот почему проверка гораздо более ценна, чем слова ИИ «конечно, верно»; потому что ИИ может повторить ту же ошибку при проверке собственного решения, но независимая проверка находится вне этого цикла. Когда вы можете добиться критического результата двумя разными независимыми способами (например, заменой и SymPy), ваша уверенность возрастает в геометрической прогрессии.
Классификация ошибок
В таблице ниже приведены типы ошибок, которые чаще всего встречаются в решениях ИИ, и способы их устранения.
Тип ошибки
пример
путь захвата
ошибка знака
Написание −(a−b) = −a−b
Открытие и проверка моего имени вручную
арифметическая ошибка
7×8 = 54
Подтверждение с помощью калькулятора/SymPy
неправильное правило
забудь правило цепочки
«Какое правило?» спросить
Ошибка поля/определения
получить журнал (отрицательный)
Проверка домена
Пропущенный статус
Игнорирование дискриминанта < 0
Перечислить все статусы
Выдуманная теорема
несуществующее название теоремы
Подтверждение от источника
три мини-кейса
Случай 1 — Правильный результат, неправильный путь. Студент задал ИИ лимитный вопрос. ИИ нашел результат равным 3 — и это было правильно — но на промежуточном этапе он использовал правило Лопиталя там, где его нельзя было применить (без неопределенности 0/0). Учащийся спрашивает: «Какое правило применимо и почему?» Когда его спросили, ИИ признал ошибку и снова достиг 3 правильным способом. Результат был тот же, но путь не был прочным; Поездка также оценивалась на экзамене.
Случай 2 — пропущенный случай. Инженер, |2x − 4| = 6 абсолютное уравнение было решено YZ. YZ решил только 2x − 4 = 6 и дал x = 5; Он пропустил состояние 2x − 4 = −6 (x = −1). Инженер спрашивает: «Сколько состояний в абсолютном значении?» Когда я спросил, появился второй рут. Правильность обоих корней подтверждалась заменой.
Случай 3. Перекрестная проверка выявила 3 ошибки. Учитель поручил ИИ провести 10-шаговое тригонометрическое доказательство идентичности. Затем он шаг за шагом сравнил то же доказательство с функцией упрощения SymPy. Он обнаружил, что ИИ неправильно применил идентификацию на 3 шагах из 10. Общее время проверки 12 минут; Полученное доверие бесценно.
Четыре копируемых шаблона
1) Пронумерованное решение на основе правил:
Решите эту задачу: [проблема]. Запишите решение, состоящее из НОМЕРНЫХ шагов. На каждом этапе в скобках указывайте название правила/теоремы, которую вы использовали. Не пропускайте ни одного шага, говоря «очевидно»; покажите каждый переход.
2) Не заставляйте все состояния:
Решите эту задачу: [проблема]. Перечислите ВСЕ ВОЗМОЖНЫЕ случаи при решении (например, абсолютное значение, квадратичное значение, ограничения области). Не пропускайте ни одного дела; Если вы пропустите это, объясните, почему вы это пропустили.
3) Запрос предоставления:
Вы нашли: [результат]. Теперь ПРОВЕРЬТЕ этот результат с помощью обратной операции: [дифференцировать/подставить/обратно умножить]. Покажите результат контрольной суммы и скажите, соответствует ли он исходной задаче.
4) Управление, ориентированное на ошибки:
ПРОСТО найдите ошибки в решении ниже. Проверяйте каждый шаг по порядку; когда вы обнаружите первую ошибку, запишите, какой шаг, какой тип ошибки (знак/арифметика/правило) и какая из них правильная. Создание нового решения. Решение: [здесь]
Слабая подсказка / Сильная подсказка
Слабое: «Решите x² − 5x + 6 = 0».
Результат: «x = 2 и x = 3» — может быть и так, но вы этого не заметите, если пропущен нечетный случай или факторизация неверна.
Стронг: «Решите уравнение x² − 5x + 6 = 0 с помощью факторизации и дискриминантной формулы; покажите, что оба метода дают одни и те же корни. Затем найдите каждый корень, подставив его в уравнение».
Результат: два независимых метода проверяют друг друга, обеспечивая точность результата. Если есть ошибка, два метода будут конфликтовать, и вы сразу это увидите.
Распространенные ошибки
- Просто смотрю на результат. Правильный результат не означает твердый путь. Также проверьте дорогу.
- Пропуск подготовки. 30-секундная проверка подстановки/обратной производной выявляет большинство ошибок; Не пренебрегайте этим.
- Не перечисляю ситуации. Упущения в абсолютных значениях, квадратичных, корневых ограничениях и ограничениях области определения являются наиболее распространенными ошибками.
- Доверяя ИИ, он скажет «нет ошибок». ИИ в роли аудитора может не заметить реальную ошибку; Человеческий глаз необходим в критической работе.
- Удовлетворяясь одним методом. Если возможно, решите и сравните, используя два независимых метода.
Внимание: когда ИИ проверяет ваше решение, он может иногда обнаружить несуществующую «ошибку» и отговорить вас от правильного решения. Поэтому, когда ИИ показывает ошибку, вы также проверяете, действительно ли эта ошибка является ошибкой. Одитор тоже может ошибаться.
В заключение
При решении проблем ИИ играет три роли: советник по стратегии, генератор решений и аудитор решений. Самый безопасный подход — взять стратегию от ИИ, выполнить расчеты с помощью независимых инструментов и систематически проверять каждый шаг. Пронумерованные шаги: «Какое правило?» вопрос, контрольная сумма (обратная операция), предельные случаи и перечисление всех случаев — основные инструменты для обнаружения ошибок. Правильный результат не означает уверенный путь; Проверьте как результат, так и путь.
Задача приложения
Выберите квадратное уравнение или уравнение абсолютного значения. Решите YZ с помощью шаблонов 1 и 2. Затем: (а) проверьте, что все случаи рассмотрены, (б) убедитесь, что каждый корень подставлен, (в) решите и сравните еще раз, если возможно, вторым методом. Если вы обнаружите ошибку, отметьте ее тип (знак/арифметика/правило/пропущенное условие).
контрольный список
- [ ] Я нашел решение в виде пронумерованных шагов.
- [ ] Я подтвердил правило, используемое на каждом этапе.
- [ ] Я убедился, что все непредвиденные обстоятельства учтены.
- [ ] Результат я проверил обратной операцией (проверкой).
- [ ] Если можно, я сравнил со вторым методом.
- [ ] Я также самостоятельно проверил «ошибки», которые показывал ИИ.