Добици:
- Способност да се разликује где вештачка интелигенција штеди време у математичким задацима (стратегија, нацрт, уређивање) и где је потребна верификација (тачан прорачун, валидност доказа) према нивоу ризика
- Бити у стању да препозна како халуцинација настаје у математици (измишљена теорема, погрешан корак, непостојећа формула) и разуме зашто језички модел није калкулатор
- Способност имплементације радног тока који проверава сваки излаз помоћу решења корак по корак, детерминистичке провере алата и дисциплине против провере.
Математика је област у којој један погрешан знак оповргава цео резултат. Заборављање знака минус у интегралу, прескакање „очигледног“ корака у доказу или коришћење нетачног експонента у формули — све то потпуно поништава резултат. Због тога употреба вештачке интелигенције (АИ) у математици захтева пажљивију дисциплину него у многим другим областима. У овој јединици ћемо испитати где алати које називамо великим језичким моделом (ЛЛМ – Ларге Лангуаге Модел; врста вештачке интелигенције која производи текст статистичким предвиђањем) заправо штеде време у математичким задацима и где могу бити опасни; и научићете како да проверите сваки излаз корак по корак.
Прво, јасан концепт: халуцинација је када АИ производи информације које заправо нису истините, са пуним поверењем, као да су истините. У математици, ово долази у облику назива измишљене теореме, погрешног алгебарског корака или формуле која не постоји. Критична тачка је следећа: ЛЛМ није калкулатор. То је генератор текста који предвиђа „следећу највероватније реч“. Већину времена производи исправну математику јер је видео много тачне математике у подацима о обуци; али разлика између „тачно већину времена“ и „тачно све време“ је све у математици.
Где вештачка интелигенција функционише у математици, а где не?
Размислите о АИ као о интелигентном плану и идејном партнеру: брзо, али мора бити верификовано. Следећа разлика је окосница овог модула.
Куест
Допринос АИ
људска одговорност
Проналажење начина да се реши проблем
Предлаже различите стратегије решења
Избор и спровођење праве стратегије
Алгебарски/симболички рачун
Генерише скице, брзо решава једначине
Потврдите сваки корак помоћу СимПи-а или ручно
пробни нацрт
Пружа оквир и идеје
Провера сваког логичког прелаза
нумерички прорачун
Пише Питхон код
Покрените код и потврдите резултат
визуелизација
Генерише графички код
Видети графикон одражава математику
Генерисање лекција/питања
Генерише скицу, узорак, дистрактор
Потврдите тачност и педагошку прикладност
Као правило: користите АИ да пронађете и уредите путању до налога, а не сам налог; Увек проверите резултат помоћу детерминистичког алата (СимПи, калкулатор, ручна провера). "Детерминистички" овде значи "увек даје исти и тачно тачан излаз на исти улаз"; Симболичке рачунарске библиотеке као што је СимПи су овакве, ЛЛМ није.
Корак по корак: сигуран ток рада АИ у математици
1. Јасно дефинишите проблем. Двосмислено питање доноси двосмислен одговор. Уместо „Процени овај интеграл“, реците „Решите неодређени интеграл ∫ к·е^к дк корак по корак делимичном интеграцијом и прикажите сваки корак.“
2. Тражите решења корак по корак. Питајте АИ за међукораке, а не само за резултат. Кораци су једини начин да се ухвати грешка.
3. Проверите помоћу независног алата. Потврдите симболички резултат у СимПи, а нумерички резултат у прорачуну. Ово је централни принцип овог модула.
4. Противпровера. Вратите резултат извода интеграцијом; замени корен једначине; провери да ли је вероватноћа између 0 и 1. Математика је пуна алата за самоконтролу.
5. Останите скептични. Када АИ каже „ова теорема каже“, потврдите назив и изјаву теореме из поузданог извора. Уобичајени су називи измишљених теорема.
Савет: Питајте сваки излаз АИ „како могу да проверим ово независно?“ Приступите питању. У математици, скоро сваки резултат има начин верификације: деривација-интегрални конверз, радикална замена, димензиона анализа, гранични случајеви. Ако не можете да пронађете начин верификације, не верујте резултату.
три мини кофера
Случај 1 — Измишљена теорема. Наставник пита АИ „којом теоремом доказујем ову неједнакост?“ упитао је. АИ је предложио непостојећу теорему под називом "Холмгрен-Берноулијева неједнакост" и направио убедљиву изјаву. Када је наставник претражио име у извору математике, нису се појавили резултати. Право решење је била класична Коши-Шварцова неједнакост. Изгубљено време: 20 минута; Али да није било навике провере чињеница, на предавању би се пренеле нетачне информације.
Случај 2 — Грешка у сигналу. Студент инжењерства је тражио од АИ резултат ∫ (2к − 3) дк. ИЗ је дао к² − 3к + Ц (тачно), али је у следећем кораку, приликом израчунавања дефинитивног интеграла [0,2], заменио −3·2 са +6 и добио −2 уместо 10. Ученик је проверио резултат узимајући изводе; Ухватио је грешку за 2 минута.
Случај 3 — Потврда добијена. Учитељ у средњој школи је замолио АИ да генерише питања о квадратној једначини за испит од 15 питања. Иако је дискриминант био негативан у 2 од 15 питања, АИ је дао "прави корен". Наставник је решио и упоредио сва питања са СимПи; Открио је и отклонио 2 грешке за 5 минута. Без верификације, ученици би били оцењени са погрешним кључем за одговор.
Четири шаблона за копирање
1) Корак по корак и проверљиво решење:
Ваша улога: асистент математике. Решите следећи проблем КОРАК ПО КОРАК:[проблем]. Запишите које сте правило/теорему користили у сваком кораку. На крају, реците ми у једној реченици како могу независно да проверим резултат (нпр. извод/интегрални инверз, замена корена). Ако постоји корак за који нисте сигурни, означите га као „овај корак мора бити верификован“.
2) Потврда теореме/концепта:
Причај ми о [теореми/концепту]. Напишите ЦЕЛУ стандардну изјаву теореме, њен уобичајени назив ако постоји и њене услове. Ако не постоји стандардна теорема под тим именом, реците експлицитно „ово име није стандардно“ и немојте га измишљати. Наведите области у које нисте сигурни.
3) Провера сопственог решења:
Испод је моје решење. Проверите сваки корак, ако постоји ГРЕШКА, покажите у ком кораку и зашто; Ако је тачно, реците „овај корак је тачан“. Не писати ново решење; само провери моје кораке. Моје решење: [овде]
4) Предлог стратегије (не рачун):
Предложите 3 различите МЕТОДЕ/стратегије за решавање следећег проблема (не рачунајте). Напишите предности и недостатке сваке методе у једној реченици. Наведите који је најпогоднији за овај проблем и зашто.
Слаби промпт / Јаки промпт
Слабо: "Реши овај интеграл: ∫ к·син(к) дк"
Резултат: Одговор у једном реду; Не могу се ухватити никакви међукораци, без верификације, грешке.
Снажан: "Решите неодређени интеграл ∫ к·син(к) дк КОРАК ПО КОРАК делимичном интеграцијом. Прикажите избор у и дв у сваком кораку. На крају, диференцирајте резултат и проверите и покажите да ли се враћа на к·син(к)."
Резултат: Проверљиви кораци, уграђена верификација (повратна провера изведеница) и могућност да се види грешка.
Уобичајене грешке
- Слепо верујући у исход. Самоуверени тон ЛЛМ није гаранција тачности. Чак и реченица која изгледа најпоузданије може бити погрешна.
- Не желећи међукорак. Када желите само резултат, немогуће је ухватити грешку.
- Не верификовање детерминистичким средствима. Не узимајте никакве резултате здраво за готово без СимПи-ја, калкулатора или ручне контрапровере.
- Не потврђују називе теорема/формула. Имена измишљених теорема су најподмуклија врста халуцинације.
- Не дајући контекст. Непомињање нивоа ученика и дозвољених метода (нпр. „коришћење деривата“) резултира неупотребљивим решењима.
Опрез: Обавезно проверите излаз АИ пре него што га проследите ученику или колеги. У математици, нетачне информације стварају ланац других грешака док се не исправе. Непроверени резултат никада није замена за одобрење од компетентног људског бића.
Укратко
Вештачка интелигенција је моћно оруђе за преглед, стратегију и организацију у математици; али то није калкулатор или провера доказа. Ризик од халуцинација је стваран, а једна мала грешка у математици оповргава цео закључак. Дакле, основна дисциплина је јасна: решавајте корак по корак, верификујте детерминистичким средствима, контрапроверите, потврдите теореме, останите скептични. Ми ћемо продубити овај начин размишљања о валидацији у свакој јединици током овог модула.
Задатак апликације
Изаберите умерено тежак математички задатак из своје области (интеграл, систем једначина или питање вероватноће). Нека АИ решава корак по корак са шаблоном 1 изнад. Затим проверите резултат на независан начин (инверзно извод-интеграл, радикална замена или СимПи). У најмање једном кораку, "Питам се да ли би овде могло бити грешке?" Зауставите се и проверите. Запишите своје налазе у 5-6 реченица: Где је АИ функционисао, где му је била потребна валидација?
контролна листа
- [ ] Јасно сам дефинисао проблем иу контексту.
- [ ] Тражио сам од АИ решење корак по корак, а не само резултат.
- [ ] Проверио сам резултат помоћу детерминистичког алата или ручно.
- [ ] Урадио сам најмање једну контрапроверу (повратна диференцијација, радикална замена, итд.).
- [ ] Потврдио сам поменуту теорему/формулу из поузданог извора.
- [ ] Нисам пренео ниједан непроверен резултат.