Добици:
- Способност разумевања и примене етичких принципа коришћења вештачке интелигенције у математици (бити у служби учења, транспарентности, људске одговорности, правде, поверљивости).
- Способност да процени ризике приватности и предузме одговарајуће мере предострожности у осетљивом садржају као што су испитна питања, подаци о студентима и необјављена истраживања
- Способност комбиновања свих делова модула (производња + верификација) у један свеобухватни радни ток, завршавајући сваки производни корак кораком верификације и коначним људским одобрењем
У овој завршној јединици комбинујемо две ствари: с једне стране, етички, академски интегритет и димензије поверљивости употребе вештачке интелигенције у математици; С друге стране, да спојимо оно што смо научили током модула у један ток посла од краја до краја. АИ у математици је моћно оруђе, али долази са одговорношћу као и моћи: за кога га користите, за шта га користите и како га користите има етичке последице. Ученик који свој домаћи задатак ради од стране вештачке интелигенције и наставник који убрзава материјал са АИ су веома различите ствари. Ова јединица допуњује техничку вештину одговорном употребом.
Неколико дефиниција. Академски интегритет значи искрено показати ко заиста поседује дело, а не скратити учење. Плагијат представља представљање туђег (или медија) производа као да је ваш оригинални производ. Транспарентност значи јасно навођење где се АИ користи. Ови концепти су постали централни за математичко образовање у доба вештачке интелигенције.
Основни принципи етичке употребе
- Не уместо учења, већ у служби тога. АИ може подржати ученика у учењу концепта (објашњење, алтернативно објашњење), али не би требало да га/њу тера на размишљање. То што АИ ради домаћи задатак подрива учење.
- Транспарентност. Наведите где је АИ коришћен — у чланку, материјалу курса или извештају. Прикривање је непоштено.
- Одговорност припада људима. Свако ко објављује, предаје или испоручује АИ излазе одговоран је за његову тачност. „АИ је тако рекао“ није изговор.
- Правда. Коришћење АИ у оцењивању треба да буде регулисано једнаким и јасним правилима за све ученике.
- Безбедност. Немојте уносити осетљиве информације, као што су испитна питања, подаци о студентима или необјављена истраживања, у алатке вештачке интелигенције чија поверљивост није загарантована.
Приватност: шта то значи у контексту математике?
Иако математика може изгледати као да нема „нема скривених података“, контекст је важан. Необјављени резултати истраживања, банка испитних питања институције, подаци о личном учинку ученика или власнички алгоритам компаније — сви су осетљиви. Све што унесете у АИ алат може да обради добављач тог алата и, у неким случајевима, да се користи за обуку модела. Дакле, за осетљив садржај, или користите локално/институционално обезбеђене алате или анонимизујте садржај.
Тип података
Ризик
предострожности
Објављена теорема/проблем
ниско
слободно доступан
Активна испитна питања
висока
Немојте улазити у возило или га обезбеђивати
Лични подаци/подаци о учинку ученика
висока
Анонимизирај/не улази
Необјављено истраживање
висока
Безбедна/локална алатка
Преглед предавања
ниско-средње
Генерално погодно
Опрез: Пре него што кренете у АИ да бисте проверили испитно питање, размислите да ли то питање треба да остане тајно. Питања са активног испита би теоретски могла бити изложена када се унесу у АИ алат чија поверљивост није загарантована. За критичне испите, или промените питања или користите само алатке које је одобрила компанија, са обезбеђењем приватности података.
Ток посла од краја до краја: пример задатка
Рецимо да треба да припремите и материјал за курс и испит за предмет у року од недељу дана. Ток који комбинује све делове модула може бити овакав:
1. Планирање. Разјаснити тему, ниво и циљеве (Наставна јединица 7).
2. Израда материјала. Нека АИ произведе предавања која одговарају нивоу + решени примери (Наставна јединица 7).
3. Верификација узорка. Проверите сваки решен пример помоћу СимПи-а (4. јединица).
4. Визуелизација. Направите и рендерујте графику да подржи нарацију помоћу Матплотлиб кода и упоредите је са математиком (Наставна јединица 6).
5. Нотација. Очистите индекс, рендерујте и верификујте формуле помоћу ЛаТеКс-а (Јединица 10).
6. Генерисање питања. Направите питања са вишеструким избором + дистракторе за испит (Јединица 8).
7. Групна верификација. Решите сва питања на велико помоћу СимПи-а и проверите кључ за одговор (Јединица 8, 9).
8. Контрола етике и транспарентности. Да ли је поверљивост одговарајућа? Да ли сте навели употребу АИ у материјалу када је то потребно? Ви имате крајњу одговорност (ова јединица).
9. Људско одобрење. Прегледајте и потврдите све последњи пут. Било који непроверен комад неће ићи у емитовање/тестирање.
Савет: У току рада од краја до краја, најефикаснија стратегија је да позиционирате АИ као „слој брзине“, детерминистичке алате (СимПи, рендер) као „слој исправности“, а себе као „слој просуђивања и одговорности“. Сваки производни корак треба да прати корак верификације; Непроверени излаз не треба преносити на следећи корак.
три мини кофера
Случај 1 — Транспарентност је изградила поверење. Један академик је користио АИ у првом нацрту поглавља у уџбенику, затим је верификовао сваку математичку тврдњу и навео у предговору да је „добиђена АИ подршка у изради рукописа, сав садржај је верификован од стране аутора“. Ова транспарентност је повећала поверење колега и одржала стандард интегритета.
Случај 2 — Употреба која подрива учење. Ученик је дао АИ да реши цео његов сет домаћих задатака и да га пошаље. Пао је на испиту из истих предмета јер никада није научио појмове. Наставник је предложио коришћење вештачке интелигенције да се „провери решење и добије алтернативно објашњење“, али да прво сам реши проблеме. АИ треба да буде у служби учења, а не на свом месту.
Случај 3 — Ризик од повреде приватности. Један наставник је размишљао о хаковању општег алата вештачке интелигенције да би верификовао питања за централни испит који још није био вођен, али се онда одлучио против тога; уместо тога он је сам и колега решавао питања у СимПи-у. Уношење активних испитних питања у екстерни алат представљало је озбиљан ризик за приватност; локална аутентификација обезбедила је безбедну путању.
Четири шаблона за копирање
1) Употреба која подржава учење (за ученике):
ПРВО сам решио овај проблем, моје решење је у прилогу. НЕМОЈТЕ ми дати решење; само ми покажи где сам погрешио и који концепт сам погрешно разумео да бих то могао да исправим. Моје решење: [овде]
2) Генерисање напомене о транспарентности:
Припремио сам [материјал/извештај] и користио вештачку интелигенцију у фази нацрта, лично проверавајући сву математику. Напишите кратку, професионалну белешку о транспарентности која то искрено каже.
3) Претходна провера приватности:
Желео бих да квалификујем приватност следећег садржаја пре него што га унесем у алатку за вештачку интелигенцију: [тип садржаја]. Да ли се ова врста садржаја сматра осетљивом, који ризици постоје, које мере предострожности (анонимизација, локални алат) треба да предузмем? Реци то кратко и јасно.
4) План контроле од краја до краја:
Припремам материјал за курс + испит за [предмет]. Наведите као план контроле коју верификацију треба да урадим у сваком кораку производње: верификација узорка, графичка контрола, нотација, кључ одговора, поверљивост, људско одобрење.
Слаби промпт / Јаки промпт
Слабо: „Реши ова питања за домаћи задатак и ја ћу их предати.“ (студент)
Резултат: Учење је прескочено, академски интегритет је нарушен, ученик не успева да научи концепт. То је етички и педагошки замерљиво.
Гуцлу: „Покушао сам да решим ово питање за домаћи задатак, али сам се заглавио; моје решење је у прилогу. Не дајте директно одговор; покажите ми који корак и зашто сам погрешио, подсетите ме на тачан концепт, па ћу покушати поново.“
Закључак: АИ се користи у служби учења; Ученик наставља да размишља, поштење се одржава.
Уобичајене грешке
- Користите га да прескочите учење. Краткорочно је лако имати АИ да уради домаћи задатак, али дугорочно уништава учење.
- Није транспарентан. Прикривање употребе АИ је против академског интегритета; навести када је потребно.
- Стављање одговорности на АИ. „АИ је тако рекао“ није изговор; Одговоран је издавач/наставник.
- Уношење поверљивог садржаја у спољни алат. Активни испит, подаци о студентима, необјављена истраживања су осетљиви.
- Остављање валидације до краја тока посла. Верификација треба да дође након сваког производног корака; Грешке не би требало да се гомилају.
Укратко
Употреба вештачке интелигенције у математици захтева етичку одговорност као и техничку вештину: требало би да буде у служби учења (а не уместо њега), да буде транспарентна, да задржи крајњу одговорност, да се придржава поштених правила и да поштује поверљивост. У свеобухватном току рада, АИ је слој брзине, СимПи и алати за рендеровање су слој тачности, а људи су слој просуђивања и одговорности. Сваки производни корак треба да буде праћен кораком верификације; Ниједан непроверен резултат не би требало да иде у публикацију, предавање или испит. То је суштина овог модула: постаните бржи са АИ, али проверите и преузмите одговорност за сваки корак.
Задатак апликације
Дизајнирајте мали задатак од краја до краја: кратка прича + 1 графикон + 3 питања са вишеструким избором за тему. Пратите ток модула: (1) план, (2) нацрт помоћу АИ, (3) валидација примера помоћу СимПи-а, (4) рендеровање и провера графикона, (5) чишћење и рендеровање нотације помоћу ЛаТеКс-а, (6) групна валидација питања помоћу СимПи-а, (7) провера приватности и транспарентности, (8) давање коначне људске провере. Забележите коју сте верификацију урадили и шта сте пронашли у сваком кораку. На крају процеса процените где вештачка интелигенција штеди време и где је ваша процена неопходна.
контролна листа
- [ ] Користио сам АИ у служби (не уместо) учења.
- [ ] Транспарентно сам навео употребу АИ где је то потребно.
- [ ] Преузео сам одговорност за крајњу тачност.
- [ ] Нисам приступио поверљивом/осетљивом садржају преко необезбеђених алата.
- [ ] Сваки корак производње сам пратио кораком верификације.
- [ ] Нисам унео никакав непроверен резултат у емисију/лекцију/испит.
Модул Екам
1. Шта је од следећег најтачније позиционирање вештачке интелигенције у математици?
- А) Вештачка интелигенција је стратегија, план и оруђе за организовање; На човеку је да провери тачан прорачун и резултат детерминистичким средствима ✔
- Б) Вештачка интелигенција је као калкулатор и сваки нумерички резултат који даје је прецизан
- Ц) Вештачка интелигенција никада не греши у закључцима које самоуверено износи, тако да провера није потребна
- Д) Вештачка интелигенција је корисна само за писање текста, нема везе ни са каквим математичким задацима
Опис: Велики језички модел је алатка која статистички генерише текст; То није калкулатор или провера доказа. Већину времена производи тачну математику, али не гарантује; тако да сваки излаз треба да буде верификован детерминистичким алатима (СимПи, калкулатор, ручна валидација) и одговорност треба да остане на човеку.
2. Ученик тражи од вештачке интелигенције да реши интеграл и жели да добије резултат. Који је најпоузданији начин да се провери резултат?
- А) Разликовање резултата и провера да ли се враћа на првобитну функцију (СимПи или ручно) ✔
- Б) Питајте вештачку интелигенцију „да ли је ово истина?“ питати
- Ц) Прихватање резултата какав јесте јер је представљен течно и самоуверено.
- Д) Прелазимо на друго питање и уопште не проверавамо резултат
Објашњење: Инверз извод-интегр је уграђени алат за верификацију у математици: узимање извода пронађеног резултата и провера да ли се враћа на првобитну функцију независно потврђује исправност интеграла. Иста унакрсна провера се може урадити са СимПи.
3. Шта значи принцип 'прави резултат није прави начин' у решавању проблема помоћу вештачке интелигенције?
- А) Прави резултат увек доказује да је и пут исправан
- Б) Пут је небитан, само резултат треба да се бодује
- Ц) Нетачни међукораци могу случајно довести до тачног резултата; Стога, и резултат и сваки међукорак морају бити прегледани ✔
- Г) Немогуће је пронаћи чврст пут, па гледамо само на исход
Објашњење: Понекад погрешни међукораци случајно доведу до правог резултата; Чак и ако је резултат тачан, путања може бити неважећа. Зато је у математици само 'да ли је резултат тачан?' већ 'да ли је сваки међукорак тачан?' Питање је такође битно и сваки корак треба надгледати.
4. Шта треба да урадите када АИ користи фразу 'без губитка општости' у доказу?
- А) Прихватање да је доказ валидан јер је изјава течна
- Б) Правдајући за себе да општост заправо није нарушена; ✔ неприхватање без питања
- В) Сматрати да је доказ валидан без да га уопште прочитате
- Д) Тражење овог израза из извора као назива теореме
Појашњење: Изјава 'без губитка општости' понекад важи (ако постоји истинска симетрија), али понекад је скривена грешка. Вештачка интелигенција често користи овај израз; Морате се сваки пут оправдати да уопштеност није заиста нарушена и не смете да прихватите изјаву без питања.
5. Написали сте СимПи код за вештачку интелигенцију. Како правилно добити резултат?
- А) Направити вештачку интелигенцију да предвиди излаз кода
- Б) Под претпоставком да је код тачан без читања
- Ц) Веровати АИ интерпретацији резултата
- Д) Покрените сами код у правом Питхон окружењу и видите тачан резултат ✔
Опис: Моћ СимПи-ја се открива само када се код покреће у правом Питхон окружењу. Питајте вештачку интелигенцију „шта овај код производи?“ тражење није верификација, јер АИ такође може да направи излаз кода. Морате сами да покренете код.
6. Ако се решење једначине коју је ручно пронашла вештачка интелигенција и резултат који је дао СимПи разликују, коме треба веровати и зашто?
- А) СимПи резултат јер је детерминистички и прецизан; Затим нека вештачка интелигенција пронађе локацију своје грешке ✔
- Б) Резултат вештачке интелигенције јер течније објашњава
- Ц) Одабрати један насумично јер су оба подједнако поуздана
- Г) Одбацивање и једног и другог и сматрање питања нерешивим
Опис: СимПи је детерминистички симболички рачунарски систем: увек даје исти тачан резултат на исти улаз. Вештачка интелигенција производи текст статистички и може да халуцинира. У спору треба узети СимПи као основу и натерати вештачку интелигенцију да пронађе локацију своје грешке.
7. Зашто услов '0,1 + 0,2 == 0,3' не ради како се очекује у Питхон коду и како то поправити?
- А) Сабирање је прекинуто у Питхон-у; треба користити други језик
- Б) Тачна једнакост не важи због прецизности броја са помичним зарезом; Треба користити толеранцију као што је 'абс(а-б) < 1е-9' ✔
- Ц) Вредност 0,3 је нетачна; Потребно је написати 0,30000000004
- Д) Стање увек ради исправно, нема проблема
Објашњење: Рачунари чувају децималне бројеве у формату са покретним зарезом са ограниченом прецизношћу; 0,1 + 0,2 се чува са веома малим одступањем, не баш 0,3. Стога, уместо тачне једнакости '==', треба користити толеранцију као што је 'абс(а-б) < 1е-9'.
8. Који је најбољи 'тест здравог разума' пре примене кода за проналажење скаларног корена на прави проблем?
- А) Примена кода директно на стварни проблем без његовог тестирања
- Б) Проверите дужину кода и пребројите га тачно ако је дугачак.
- Ц) Тестирање кода једноставним уносом чији је одговор познат (нпр. к²-4=0 корена ±2) и провера да ли даје очекивани резултат ✔
- Д) Потврђивање вештачкој интелигенцији да је код тачан
Објашњење: Тестирање кода једноставним уносом чији одговор већ знате (нпр. ±2 за к²-4=0 са очигледним коренима) је најјефтинија и најефикаснија верификација. Ако код тачно даје познату ситуацију, повећава се вероватноћа да ће бити поуздан за проблеме које не познајете.
9. У визуелизацији, како проверити да ли график тачно одражава математику?
- А) Ако графикон изгледа естетски, сматра се тачним.
- Б) Поређење графика са познатим својствима функције и правом вредношћу најмање једне тачке ✔
- Ц) Уопште се не гледају ознаке осе
- Д) Ослањајући се на вербални опис графика од стране вештачке интелигенције
Објашњење: Графика која изгледа лепо не мора да буде тачна; АИ може нацртати погрешну функцију, у погрешном опсегу или са искривљеном асимптотом. Поређењем графика са познатим својствима функције (опсег осциловања, симетрија, асимптота) и израчунавањем најмање једне тачке откривају се грешке.
10. Која је најкритичнија тачка верификације у материјалу курса произведеном вештачком интелигенцијом и зашто?
- А) Фонт и шема боја материјала
- Б) Обим материјала и број страница
- В) Тачност решених примера; јер их ученици узимају као узоре и подучавају погрешан пример и погрешан метод ✔
- Д) Колико брзо се материјал производи
Објашњење: Решене примере ученици узимају као моделе; Нетачно решен пример директно учи ученике погрешном методу. Због тога, сваки решени пример мора бити верификован појединачно, корак по корак, било помоћу СимПи-а или ручно. Мала нејасноћа у објашњењу предмета може се надокнадити, али погрешан пример изазива каскадно оштећење.
11. Који је најефикаснији и најпоузданији начин за верификацију скупа питања са више одговора које генерише вештачка интелигенција?
- А) Још једном питати вештачку интелигенцију да ли су питања тачна
- Б) Насумично проверавати само неколико питања и веровати осталима
- Ц) Коришћење кључа за одговор какав јесте без провере било чега од њега
- Д) Провера кључа одговора збирно и детерминистички штампањем и покретањем кода који решава сва питања са СимПи ✔
Објашњење: Вештачка интелигенција најчешће прави грешке као што је нетачно означавање кључа за одговор и стварање више/нула тачних опција. Писање и покретање кода који решава сва питања одједном уз СимПи је најефикаснији начин да се детерминистички и масовно провери кључ за одговор.
12. Шта је од следећег главни разлог зашто вештачка интелигенција прави грешке у математици?
- А) Вештачка интелигенција је језички модел; не проверава логичку валидност, генерише текст статистички ✔
- Б) Вештачка интелигенција никада није учила математику
- Ц) Вештачка интелигенција је намерно програмирана да даје погрешне одговоре
- Д) Вештачка интелигенција греши само у веома тешким проблемима, никада у лаким.
Опис: Вештачка интелигенција није логички механизам, већ језички модел који производи текст са статистичким обрасцима; Нема интерни механизам за проверу логичке исправности корака. 'Ваљан доказ' са '3-цифреним множењем' за њега је задатак израде истог типа текста, тако да се његова исправност не може гарантовати.
13. Када је резултат проблема са вероватноћом 1,4, како знате да постоји грешка без улажења у детаље?
- А) Прорачун је тачан јер је резултат 1,4, вероватноћа може бити већа од 1
- Б) Знак вероватноће је небитан, вредност се прихвата без обзира
- Ц) Не разуме се да постоји грешка, резултат се сматра коначним.
- Д) Вероватноћа мора бити између 0 и 1; ✔ Тестирање здравог разума указује на грешку јер 1.4 премашује ову границу
Опис: Тест здравог разума и реда величине проверава у року од неколико секунди да ли је резултат у разумном опсегу. Вероватноћа по дефиницији мора бити између 0 и 1; 1.4 је ван ове границе, тако да је очигледно да постоји грешка без погледа на детаље прорачуна.
14. Зашто је важно писати 'е^{к^2}' уместо 'е^к^2' у ЛаТеКс-у?
- А) Потпуно су исти, разлика је само естетска
- Б) Витичасте заграде одређују обим експонента; Без тога израз би био нетачан или двосмислен, тако да је експонент са више знакова {} од суштинског значаја ✔
- Ц) Коврџаве заграде су бескорисне у ЛаТеКс-у
- Д) 'е^к^2' је увек тачно, коришћење '{}' је непотребно
Објашњење: Најчешћа грешка у ЛаТеКс-у је грешка опсега: ако се витичасте заграде '{}' не користе у експоненту са више знакова, индексу или разломку, покрива се само први знак и израз постаје нетачан (или чак двосмислен). 'е^{к^2}' јасно даје до знања да је цео експонент к²; Код треба да буде приказан и верификован визуелном инспекцијом.
15. Желите да вам вештачка интелигенција верификује питања активног централног испита. Који је најбољи приступ у погледу етике и приватности?
- А) Слободно уношење питања у било који општи АИ алат јер математика не садржи поверљиве податке
- Б) Коришћење питања на испиту без њихове провере
- Ц) Потврђивање питања помоћу безбедног/природног алата (нпр. СимПи) или коришћењем само алатки за предузећа са обезбеђењем приватности ✔
- Д) Дељење питања на друштвеним мрежама и тражење контроле од других
Опис: Питања за активни испит су осетљива; Теоретски може бити разоткривено када се хакује алатка вештачке интелигенције чија поверљивост није загарантована. Исправан приступ је да се питања валидирају помоћу безбедног/природног алата (нпр. са колегом у СимПи-у) или да се користе само корпоративни сертификовани алати са обезбеђењем приватности података.