Печалби:
- Способност за използване на изкуствен интелект при решаване на проблеми в три различни роли като стратегически консултант, производител на решения и одитор на решения, подходящи за нивото на риск на всеки.
- Възможност за систематична проверка на всяка стъпка от решение чрез номериране, запитване по правила, аритметична проверка, контролни суми и изброяване на всички случаи.
- Да можеш да провериш както резултата, така и решението с независими методи, разбирайки, че правилният резултат не означава правилния път.
Решението на даден математически проблем е верига от взаимосвързани стъпки; Ако някоя връзка във веригата е прекъсната, резултатът е невалиден. AI е много добър в бързото изграждане на тази верига, но зависи от хората да наблюдават силата на веригата. В този модул ще научите как да използвате AI като партньор за решаване на проблеми и, което е по-важно, как систематично да контролирате всяка произведена стъпка. Целта е да се възползвате от скоростта на AI, без да пропускате никакви грешки.
Първо, дефиниция: проверката стъпка по стъпка е проверка дали всяка междинна стъпка на решение е правилна една по една. В математиката "Правилен ли е резултатът?" Въпросът не е достатъчен; „Правилна ли е всяка междинна стъпка?“ Въпросът е съществен. Тъй като понякога грешните стъпки водят случайно до правилния резултат (нестабилно решение), понякога една единствена аритметична грешка в правилната стратегия разваля резултата.
Три различни роли на AI при решаването на проблеми
Можете да използвате AI при решаване на проблеми по три различни начина и всеки изисква различно валидиране:
- Стратегически консултант: "Как да реша този проблем?" Тук AI предлага метод. Рискът е малък, защото вие сами правите изчисленията.
- Генератор на решения: "Разрешете този проблем." Рискът е висок, защото и стратегията, и изчислението идват от AI; Всяка стъпка трябва да се контролира.
- Проверка на решението: „Проверете моето решение.“ Това е среден риск; AI може да намира бъгове, но също така може да измисля бъгове, които не съществуват или да пропусне истинския бъг.
Най-безопасният подход обикновено е да комбинирате 1 и 3: вземете стратегията от AI, направете изчислението сами или със SymPy, след това направете проверка и кръстосана проверка от AI.
Стъпка по стъпка: как да проверите решение
1. Номерирайте всяка стъпка. Питането на AI за решение в номерирани стъпки ви позволява след това да кажете: „Има грешка в стъпка 3.“
2. На всяка стъпка "кое правило?" сър. Накарайте AI да запише кое алгебрично правило, теорема или идентичност се използва при всяко преминаване. Ако името на правилото е грешно, стъпката също е под въпрос.
3. Проверете отделно аритметиката. Дори ако алгебричната логика е правилна, грешките в числата са често срещани. Прегледайте всяко събиране, умножение и промяна на знака.
4. Опитайте граници и изключения. Тествайте резултата при прости стойности като x=0, x=1. Ако формулата е безсмислена при тези стойности, има грешка.
5. Върнете се на заден ход. Проверете резултата от производната чрез интегриране, заместване на корена на уравнението, умножаване на факторизацията обратно.
6. Потърсете консистенция размер/единица. Ако единиците не се събират в приложни задачи (напр. добавяне на метри и секунди), формулата е неправилна.
Съвет: „Проверка чрез обратна операция“ е най-мощният инструмент за проверка в математиката и е почти безплатен. Ако сте намерили корена на уравнение, заменете го; Ако сте взели интеграл, вземете неговата производна; Ако сте направили факторизиране, умножете обратно. Тази 30-секундна проверка предотвратява часове грешна посока.
Силата на осигуряване идва от неговата независимост от AI. Когато замените корен, вие правите детерминистична проверка, която е напълно независима от това, което AI прави в процеса на решаване: или уравнението е изпълнено, или не е, няма междинно. Ето защо проверката е много по-ценна от AI, който казва „разбира се, нали“; тъй като AI може да повтори същата грешка, когато валидира собственото си решение, но независимата проверка е извън този цикъл. Когато можете да доставите критичен резултат по два различни независими начина (напр. както заместване, така и SymPy), вашата увереност нараства експоненциално.
Класификация на грешките
Таблицата по-долу обобщава типовете грешки, които най-често срещате в решенията за изкуствен интелект и начина за улавяне на всяка от тях.
Тип грешка
пример
път на улавяне
грешка в знака
Записване −(a−b) = −a−b
Отваряне и проверка на името ми ръчно
аритметична грешка
7×8 = 54
Потвърждение с калкулатор/SymPy
грешно правило
забравете правилото за веригата
"Кое правило?" да питам
Грешка в поле/дефиниция
вземете дневник (отрицателен)
Проверка на домейна
Пропуснато състояние
Пренебрегване на дискриминанта < 0
Избройте всички състояния
Измислена теорема
несъществуващо име на теорема
Потвърждение от източника
три мини калъфа
Случай 1 — Правилен резултат, грешен път. Студент зададе на AI лимит въпрос. Изкуственият интелект откри, че резултатът е 3 — което беше правилно — но в междинната стъпка той използва правилото на L'Hôpital, където не можеше да се приложи (без несигурността 0/0). Ученикът пита "кое правило се прилага и защо?" Когато беше помолен, AI прие грешката и отново достигна 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) Номерирано, базирано на правила решение:
Решете този проблем: [проблем]. Напишете решението в NUMBERED стъпки. Във всяка стъпка посочете в скоби името на използваното от вас правило/теорема. Не пропускайте никоя стъпка, като казвате "очевидно"; покажете всеки преход.
2) Не налагайте всички състояния:
Решете този проблем: [проблем]. Избройте ВСИЧКИ ВЪЗМОЖНИ случаи при решаване (напр. абсолютна стойност, квадратични, ограничения на домейна). Не пропускайте случаи; Ако го пропуснете, обосновете защо сте го пропуснали.
3) Искане на предоставяне:
Намерихте: [резултат]. Сега ПРОВЕРЕТЕ този резултат чрез обратната операция: [диференциране / заместване / умножение обратно]. Покажете резултата от контролната сума и кажете дали е в съответствие с първоначалния проблем.
4) Контрол, ориентиран към грешки:
САМО потърсете грешки в решението по-долу. Проверете всяка стъпка по ред; когато намерите първата грешка, запишете коя стъпка, какъв тип грешка (знак/аритметика/правило) и коя е правилната. Създаване на ново решение. Решение: [тук]
Слаба подкана / Силна подкана
Слаб: „Решете x² − 5x + 6 = 0.“
Резултат: „x = 2 и x = 3“ — може да е вярно, но няма да забележите дали нечетният случай е пропуснат или факторизирането е грешно.
Силно: „Решете уравнението x² − 5x + 6 = 0 както чрез факторизиране, така и чрез дискриминантната формула; покажете, че двата метода дават едни и същи корени. След това осигурете всеки корен, като го заместите в уравнението.“
Резултат: Два независими метода се проверяват взаимно, като гарантират, че резултатът е точен. Ако има грешка, двата метода ще са в конфликт и ще я видите незабавно.
Често срещани грешки
- Просто гледам резултата. Правилният резултат не означава солиден път. Проверете и пътя.
- Пропускане на осигуряване. 30-секундна проверка за заместване/обратна производна улавя повечето грешки; Не го пренебрегвайте.
- Без да изброявам ситуации. Пропускането на абсолютна стойност, квадратични, коренни и домейн ограничения са най-честите грешки.
- Доверявайки се на AI да каже "няма грешки". AI в ролята на одитор може да пропусне истинската грешка; Човешкото око е от съществено значение в критичната работа.
- Задоволяване с един метод. Ако е възможно, решете и сравнете, като използвате два независими метода.
Внимание: Когато накарате изкуствения интелект да провери вашето решение, понякога той може да създаде несъществуващ „бъг“ и да ви разубеди от вашето правилно решение. Така че, когато AI показва грешка, вие също проверявате дали тази грешка наистина е грешка. Одиторът също може да греши.
В обобщение
При решаването на проблеми AI играе три роли: стратегически съветник, генератор на решения, одитор на решения. Най-безопасният подход е да вземете стратегията от AI, да направите изчисленията с независими инструменти и систематично да одитирате всяка стъпка. Номерирани стъпки, "кое правило?" въпрос, контролна сума (обратна операция), гранични случаи и изброяване на всички случаи са основните инструменти за улавяне на грешки. Правилният резултат не означава солиден път; Проверете както резултата, така и пътя.
Задача за приложение
Изберете квадратно уравнение или уравнение с абсолютна стойност. Решете YZ с шаблони 1 и 2. След това: (a) проверете дали всички случаи са покрити, (b) осигурете всеки корен чрез заместване, (c) решете и сравнете отново с втори метод, ако е възможно. Ако намерите грешка, отбележете какъв тип е (знак/аритметика/правило/пропуснато условие).
контролен списък
- [ ] Взех решението на номерирани стъпки.
- [ ] Потвърдих правилото, използвано във всяка стъпка.
- [ ] Проверих, че всички непредвидени обстоятелства са разгледани.
- [ ] Проверих резултата чрез обратна операция (проверка).
- [ ] Ако е възможно, сравних го с втори метод.
- [] Също така проверих независимо „грешките“, показани от AI.