Добивки:
- Способност да разликува каде вештачката интелигенција заштедува време во математички задачи (стратегија, нацрт, уредување) и каде е потребна верификација (точна пресметка, валидност на доказот) според нивото на ризик
- Да може да препознае како настанува халуцинацијата во математиката (направена теорема, погрешен чекор, непостоечка формула) и да разбере зошто јазичниот модел не е калкулатор
- Способност да се имплементира работен тек кој го проверува секој излез со чекор-по-чекор решение, детерминистичка проверка на алатката и дисциплина за контра-проверка.
Математиката е поле каде што еден погрешен знак го побива целиот резултат. Заборавањето на знакот минус во интеграл, прескокнувањето „очигледно“ чекор во доказот или користењето неточен експонент во формулата - сето тоа целосно го поништува резултатот. Затоа употребата на вештачка интелигенција (ВИ) во математиката бара повнимателна дисциплина отколку во многу други области. Во оваа единица, ќе испитаме каде алатките што ги нарекуваме голем јазичен модел (LLM - Large Language Model; вид на вештачка интелигенција што произведува текст со статистички предвидување) всушност заштедуваат време во математичките задачи и каде можат да бидат опасни; и ќе научите како да го потврдите секој излез чекор по чекор.
Прво, јасен концепт: Халуцинација е кога вештачката интелигенција произведува информации што всушност не се вистинити, со целосна доверба, како да се вистинити. Во математиката, ова доаѓа во форма на име на измислена теорема, погрешен алгебарски чекор или формула што не постои. Критичната точка е ова: LLM не е калкулатор. Тоа е генератор на текст кој го предвидува „следниот најверојатен збор“. Поголемиот дел од времето произведува правилна математика бидејќи видел многу точна математика во податоците за обуката; но разликата помеѓу „точно најчесто“ и „точно цело време“ е сè во математиката.
Каде работи вештачката интелигенција во математиката, а каде не?
Размислете за вештачката интелигенција како интелигентен план и партнер за идеја: брзо, но мора да се потврди. Следната разлика е основата на овој модул.
Потрага
Придонес на ВИ
човечка одговорност
Наоѓање начин за решавање на проблем
Препорачува различни стратегии за решение
Избор и спроведување на вистинската стратегија
Алгебарско/симболичко сметање
Генерира скици, брзо решава равенки
Потврдете го секој чекор со SymPy или рачно
доказ нацрт
Обезбедува рамка и идеи
Проверка на секоја логичка транзиција
нумеричка пресметка
Пишува код на Python
Извршете го кодот и потврдете го резултатот
визуелизација
Генерира графички код
Гледањето на графикот ја одразува математиката
Генерирање лекција/прашање
Генерира скица, примерок, дистрактор
Потврдете ја точноста и педагошката соодветност
Како правило: користете вештачка интелигенција за да ја пронајдете и уредите патеката до сметката, а не самата сметка; Секогаш проверувајте го резултатот со детерминистичка алатка (SymPy, калкулатор, рачна проверка). „Детерминистички“ овде значи „секогаш го дава истиот и прецизно точен излез на истиот влез“; Симболичните библиотеки за компјутери како SymPy се вакви, LLM не е.
Чекор по чекор: безбеден тек на работа со вештачка интелигенција во математиката
1. Јасно дефинирајте го проблемот. Двосмислено прашање носи двосмислен одговор. Наместо „Оценете го овој интеграл“, кажете „Решајте го неопределениот интеграл ∫ x·e^x dx чекор по чекор со делумна интеграција и прикажете го секој чекор“.
2. Побарајте чекор-по-чекор решенија. Прашајте ја вештачката интелигенција за средни чекори, а не само за резултатот. Чекорите се единствениот начин да се фати грешката.
3. Потврдете со независна алатка. Потврдете го симболичниот резултат на SymPy и нумеричкиот резултат на пресметка. Ова е централниот принцип на овој модул.
4. Контра проверка. Повратете го резултатот од изводот со интегрирање; заменете го коренот на равенката; проверете дали веројатноста е помеѓу 0 и 1. Математиката е полна со алатки за самоконтрола.
5. Останете скептични. Кога вештачката интелигенција вели „оваа теорема вели“, потврдете го името и изјавата на теоремата од сигурен извор. Вообичаени се имињата на измислените теореми.
Совет: Прашајте го секој излез на вештачка интелигенција „како можам да го проверам ова независно? Пристапете со прашањето. Во математиката, речиси секој резултат има начин на верификација: дериват-интегрален конверз, радикална замена, димензионална анализа, гранични случаи. Ако не можете да го најдете начинот на проверка, не верувајте во резултатот.
три мини футроли
Случај 1 — Измислена теорема. Наставникот ја прашува вештачката интелигенција „со која теорема ја докажувам оваа нееднаквост? праша тој. АИ предложи непостоечка теорема наречена „Хелмгрен-Бернули нееднаквост“ и направи убедлива изјава. Кога наставникот го пребара името во ресурс по математика, не дојде резултат. Вистинското решение беше класичната нееднаквост Коши-Шварц. Изгубено време: 20 минути; Но, да не беше навиката за проверка на фактите, на предавање ќе се пренесат неточни информации.
Случај 2 - Грешка во сигналот. Еден студент по инженерство побара од AI резултатот ∫ (2x − 3) dx. YZ даде x² − 3x + C (точно), но во следниот чекор, при пресметувањето на определениот интеграл [0,2], тој го замени −3·2 со +6 и доби −2 наместо 10. Ученикот го провери резултатот земајќи изводи; Грешката ја фати во 2 минути.
Случај 3 - Добиена е потврда. Наставник во средно училиште побарал од вештачката интелигенција да генерира прашања со квадратни равенки за испит од 15 прашања. Иако дискриминаторот беше негативен во 2 од 15 прашања, АИ даде „вистински корен“. Наставникот ги реши и спореди сите прашања со SymPy; Открил и поправил 2 грешки за 5 минути. Без верификација, учениците би биле оценувани со погрешен клуч за одговор.
Четири шаблони за копирање
1) Чекор по чекор и проверливо решение:
Вашата улога: асистент по математика. Решете го следниот проблем ЧЕКОР ПО ЧЕКОР:[проблем]. Запишете кое правило/теорема сте го користеле на секој чекор. На крајот, кажи ми во една реченица како можам да го потврдам резултатот независно (на пр. инверзен извод/интегрален, замена на коренот). Ако има некој чекор за кој не сте сигурни, означете го како „овој чекор мора да се потврди“.
2) Потврда на теорема/концепт:
Кажи ми за [теорема/концепт]. Напишете го FULL стандардниот исказ на теоремата, неговото заедничко име доколку го има, и неговите услови. Ако не постои стандардна теорема со тоа име, кажете експлицитно „ова име не е стандардно“ и не измислувајте. Наведете ги областите за кои не сте сигурни.
3) Проверка на моето решение:
Подолу е моето решение. Проверете го секој чекор, ако има ГРЕШКА, покажете во кој чекор и зошто; Ако е точно, кажете „овој чекор е точен“. Не пишувајте ново решение; само проверете ги моите чекори. Моето решение: [тука]
4) Предлог за стратегија (не сметка):
Предложете 3 различни МЕТОДИ/стратегии за решавање на следниот проблем (не пресметувајте). Напишете ги добрите и лошите страни на секој метод во една реченица. Наведете кој е најдобро погоден за овој проблем и зошто.
Слаб промпт / Силен промпт
Слабо: „Реши го овој интеграл: ∫ x·sin(x) dx“
Резултат: Еднолиниски одговор; Не може да се фатат никакви средни чекори, верификација, грешки.
Силно: "Решајте го неопределениот интеграл ∫ x·sin(x) dx ЧЕКОР ПО ЧЕКОР со делумна интеграција. Прикажете го изборот на u и dv на секој чекор. На крајот, разграничете го резултатот и проверете и покажете дали се враќа на x·sin(x)."
Резултатот: чекори што може да се ревидираат, вградена верификација (повторна проверка на дериват) и можност за гледање на грешката.
Вообичаени грешки
- Слепо верувајќи на исходот. Самоуверениот тон на LLM не е гаранција за точност. Дури и најсигурната реченица може да биде погрешна.
- Не сакајќи среден чекор. Кога го сакате само резултатот, станува невозможно да се фати грешката.
- Непроверување со детерминистички средства. Не земајте никакви резултати здраво за готово без SymPy, калкулатор или рачна контра-проверка.
- Не се потврдуваат имињата на теоремите/формулите. Измислените имиња на теореми се најподмолниот вид на халуцинации.
- Не давајќи контекст. Не споменувањето на нивото на ученикот и дозволените методи (на пр. „користење деривати“) резултира со неупотребливи решенија.
Внимание: не заборавајте да го потврдите излезот на вештачката интелигенција пред да го пренесете на студент или колега. Во математиката, неточните информации создаваат синџир на други грешки додека не се поправат. Непроверениот излез никогаш не е замена за одобрение од компетентно човечко суштество.
Сумирано
Вештачката интелигенција е моќна алатка за преглед, стратегија и организација во математиката; но тоа не е калкулатор или проверка на доказ. Ризикот од халуцинации е реален, а една мала грешка во математиката го побива целиот заклучок. Значи, основната дисциплина е јасна: решавајте чекор по чекор, проверувајте со детерминистички средства, контрапроверете, потврдете теореми, останете скептични. Ќе го продлабочиме овој начин на размислување за валидација во секоја единица низ овој модул.
Задача за апликација
Изберете умерено тежок математички проблем од вашето поле (интеграл, систем на равенки или прашање за веројатност). Нека вештачката интелигенција ја решава чекор по чекор со шаблонот 1 погоре. Потоа проверете го резултатот на независен начин (инверзен дериват-интегрален, радикална замена или SymPy). Во барем еден чекор, „Се прашувам дали може да има грешка овде? Застанете и проверете. Запишете ги вашите наоди во 5-6 реченици: Каде работеше вештачката интелигенција, каде и требаше валидација?
листа за проверка
- [ ] Јас го дефинирав проблемот јасно и во контекст.
- [ ] Побарав од вештачката интелигенција чекор-по-чекор решение, а не само резултат.
- [ ] Го потврдив резултатот со детерминистичка алатка или рачно.
- [ ] Имам направено барем една контра-проверка (назад диференцијација, радикална замена, итн.).
- [ ] Ја потврдив наведената теорема/формула од сигурен извор.
- [ ] Немам предадено никакви непроверени резултати.