Прибуток:
- Здатність використовувати штучний інтелект у вирішенні проблем у трьох різних ролях консультанта зі стратегії, виробника рішень та аудитора рішень відповідно до рівня ризику кожного.
- Здатність систематично перевіряти кожен крок рішення шляхом нумерації, запитів за правилами, арифметичної перевірки, контрольних сум і переліку всіх випадків.
- Можливість перевірити як результат, так і рішення незалежними методами, розуміючи, що правильний результат не означає правильний шлях.
Рішення математичної задачі являє собою ланцюжок взаємопов’язаних кроків; Якщо будь-яка ланка в ланцюжку порушена, результат недійсний. ШІ дуже добре здатний швидко побудувати цей ланцюг, але стежити за міцністю ланцюга мають люди. У цьому розділі ви дізнаєтесь, як використовувати штучний інтелект як партнера у вирішенні проблем і, що більш важливо, як систематично контролювати кожен зроблений крок. Мета полягає в тому, щоб скористатися перевагами швидкості штучного інтелекту, не пропустивши жодної помилки.
По-перше, визначення: покрокова перевірка — це перевірка правильності кожного проміжного кроку рішення один за одним. У математиці "Чи правильний результат?" Питання недостатньо; «Чи правильний кожен проміжний крок?» Питання суттєве. Тому що іноді неправильні кроки випадково призводять до правильного результату (нестабільного рішення), іноді одна арифметична помилка в правильній стратегії псує результат.
Три різні ролі ШІ у вирішенні проблем
Ви можете використовувати штучний інтелект у вирішенні проблем трьома різними способами, і кожен вимагає різної перевірки:
- Консультант зі стратегії: «Як вирішити цю проблему?» Тут ШІ пропонує метод. Ризик низький, оскільки ви робите розрахунки самостійно.
- Генератор рішень: «Вирішіть цю задачу». Ризик високий, оскільки і стратегія, і розрахунок походять від ШІ; Треба контролювати кожен крок.
- Перевірка рішень: «Перевірити моє рішення». Це середній ризик; ШІ може знаходити помилки, але він також може вигадувати помилки, яких не існує, або пропускати справжню помилку.
Найбезпечнішим підходом зазвичай є комбінування 1 і 3: отримати стратегію від AI, зробити розрахунок самостійно або за допомогою SymPy, потім перевірити AI і перехресно перевірити.
Крок за кроком: як перевірити рішення
1. Пронумеруйте кожен крок. Запит ШІ про рішення за пронумерованими кроками дає змогу сказати: «На кроці 3 сталася помилка».
2. На кожному кроці "яке правило?" сер. Попросіть ШІ записати, яке алгебраїчне правило, теорему чи тотожність використовується в кожному проході. Якщо назва правила неправильна, крок також сумнівний.
3. Перевірте арифметику окремо. Навіть якщо алгебраїчна логіка правильна, числові помилки є звичайним явищем. Повторіть кожне додавання, множення та зміну знака.
4. Спробуйте обмеження та винятки. Перевірте результат на таких простих значеннях, як x=0, x=1. Якщо формула є безглуздою за цих значень, є помилка.
5. Поверніться назад. Перевірте результат похідної шляхом інтегрування, підставлення кореня рівняння, множення розкладення на множники назад.
6. Подивіться на відповідність розміру/одиниці. Якщо в прикладних задачах одиниці не збігаються (наприклад, додавання метрів і секунд), формула є неправильною.
Порада: «Перевірка зворотною операцією» є найпотужнішим інструментом перевірки в математиці та є майже безкоштовним. Якщо ви знайшли корінь рівняння, підставте його; Якщо ви взяли інтеграл, візьміть його похідну; Якщо ви розклали на множники, помножте назад. Ця 30-секундна перевірка запобігає годинам неправильного напрямку.
Потужність ініціалізації походить від його незалежності від ШІ. Підставляючи корінь, ви виконуєте детерміновану перевірку, яка повністю не залежить від того, що робить штучний інтелект у процесі розв’язання: або рівняння виконується, або ні, немає між ними. Ось чому перевірка є набагато ціннішою, ніж штучний інтелект, який говорить «звичайно, вірно»; тому що AI може повторити ту саму помилку під час перевірки власного рішення, але незалежна перевірка знаходиться поза цим циклом. Коли ви можете отримати критичний результат двома різними незалежними способами (наприклад, заміною та 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) Пронумероване рішення на основі правил:
Розв’яжіть цю задачу: [задача]. Напишіть розв’язання за NUMBERS кроків. На кожному кроці вказуйте в дужках назву використовуваного правила/теореми. Не пропускайте жодного кроку, кажучи «очевидно»; показати кожен перехід.
2) Не примушуйте всі стани:
Розв’яжіть цю задачу: [задача]. Перелічіть УСІ МОЖЛИВІ випадки під час розв’язування (наприклад, абсолютне значення, квадратичні обмеження, доменні обмеження). Не пропускайте жодної справи; Якщо ви пропустили, обґрунтуйте, чому ви пропустили.
3) Надання запиту:
Ви знайшли: [результат]. Тепер ПЕРЕВІРТЕ цей результат за допомогою зворотної операції: [диференціювати / замінити / помножити назад]. Покажіть результат перевірки контрольної суми та скажіть, чи відповідає він вихідній задачі.
4) Контроль, орієнтований на помилки:
ПРОСТО знайдіть помилки в наведеному нижче рішенні. Перевірте кожен крок по порядку; коли знайдете першу помилку, запишіть, який крок, який тип помилки (знак/арифметика/правило) і яка з них правильна. Створення нового рішення. Рішення: [тут]
Слабка підказка / Сильна підказка
Слабкий: «Розв’язати x² − 5x + 6 = 0».
Результат: «x = 2 і x = 3» — може бути правдою, але ви не помітите, якщо непарний випадок пропущено або розкладання на множники неправильне.
Стронг: «Розв’яжіть рівняння x² − 5x + 6 = 0 за допомогою розкладання на множники та дискримінантної формули; покажіть, що ці два методи дають однакові корені. Потім надайте кожен корінь, підставляючи його в рівняння».
Результат: два незалежні методи перевіряють один одного, гарантуючи точність результату. Якщо є помилка, два методи будуть конфліктувати, і ви побачите її негайно.
Поширені помилки
- Просто дивлячись на результат. Правильний результат не означає твердий шлях. Також перевірте дорогу.
- Пропуск ініціалізації. 30-секундна перевірка заміни/зворотної похідної виявляє більшість помилок; Не нехтуйте ним.
- Не перелічуючи ситуації. Найпоширенішими помилками є пропуски абсолютного значення, квадратичних, кореневих і доменних обмежень.
- Довіряючи штучному інтелекту "немає помилок". ШІ в ролі аудитора може пропустити реальну помилку; Людське око необхідне в критичній роботі.
- Задовольнитися одним методом. Якщо можливо, розв’яжіть і порівняйте двома незалежними методами.
Застереження: коли штучний інтелект перевіряє ваше рішення, іноді він може вигадати неіснуючу «помилку» і відмовити вас від правильного рішення. Отже, коли ШІ показує помилку, ви також перевіряєте, чи справді ця помилка є помилкою. Аудитор теж може помилятися.
Підсумовуючи
У вирішенні проблем ШІ виконує три ролі: радник зі стратегії, генератор рішень, аудитор рішень. Найбезпечніший підхід — взяти стратегію від штучного інтелекту, виконувати розрахунки за допомогою незалежних інструментів і систематично перевіряти кожен крок. Пронумеровані кроки, "Яке правило?" питання, контрольна сума (зворотна операція), граничні випадки та перелік усіх випадків є основними інструментами для виявлення помилок. Правильний результат не означає твердий шлях; Перевірте як результат, так і шлях.
Аплікаційне завдання
Виберіть квадратне рівняння або рівняння за абсолютною величиною. Розв’яжіть YZ за допомогою шаблонів 1 і 2. Потім: (a) перевірте, чи всі випадки охоплено, (b) переконайтеся, що кожен корінь замінюється, (c) розв’яжіть і порівняйте ще раз другим методом, якщо можливо. Якщо ви знайшли помилку, запам’ятайте її тип (знак/арифметика/правило/пропущена умова).
контрольний список
- [ ] Я взяв рішення пронумерованими кроками.
- [ ] Я підтвердив правило, яке використовується на кожному кроці.
- [ ] Я підтвердив, що всі непередбачені обставини враховано.
- [ ] Я перевірив результат зворотною операцією (перевіркою).
- [ ] Якщо можливо, я порівняв це з другим методом.
- [ ] Я також незалежно перевірив «помилки», які показав AI.