Pelnas:
- Galimybė gauti fizinio darinio skeletą iš AI ir tiksliai patikrinti kiekvieną algebrinį žingsnį naudojant SymPy
- Gebėjimas patikrinti išvestinę formulę su išvestinės integralo atvirkštine ir ribine būsenos/ribine patikra
- Gebėjimas patvirtinti išgalvotus dėsnių ir teoremų pavadinimus bei pašalinti nefizines šaknis
Fizikos galia kyla iš jos gebėjimo apibendrinti sudėtingus įvykius keliomis lygtimis. Greičio išvedimas iš judesio lygties, tvermės dėsnio išvedimas iš energijos išraiškos, integralo sprendimas netiesiogiai – tai simbolinės (raidėmis, o ne skaičiais) operacijos. Šiame skyriuje išmoksite naudoti dirbtinį intelektą (AI) kaip planą ir mąstymo partnerį fizinio modelio sudarymo ir analitinio sprendimo procese; ir sužinosite, kaip patikrinti kiekvieną išvedimą naudojant SymPy (Python simbolinę matematikos biblioteką; ji atlieka išvestinius, integralus ir sprendžia lygtis raidėmis tikslia forma). Pagrindinis principas čia yra toks: AI parodo išvedimo būdą, SymPy įrodo išvedimo teisingumą.
AI ir SymPy darbo pasidalijimas simboliniame darinyje
Dirbtinis intelektas labai gerai nustato bendrą darinio strategiją („šioje problemoje pradėkite nuo energijos taupymo, tada atlikite dalinį diferencijavimą“) ir paaiškina tarpinius veiksmus. Tačiau simbolinėje algebroje – ypač ilguose išvestiniuose – daro ženklų klaidas, pabėgusius terminus ir klaidingus supaprastinimus. Kita vertus, „SymPy“ tiksliai patikrina kiekvieną iš šių veiksmų, nes veikia pagal taisykles, o ne pagal galvą. Veiksmingiausia darbo eiga sujungia dvi: perimkite idėją ir darinį iš AI, pateikite kiekvieną algebrinį žingsnį su SymPy.
Quest
AI indėlis
Autentifikavimas naudojant SymPy
darinys
Man primena grandinės taisyklę
Tikslus rezultatas su sympy.diff
integracija
metodas siūlo
Patvirtinimas naudojant sympy.integrate
lygčių sprendimas
Sukuria strategiją
Šaknies paieška naudojant sympy.solve
Supaprastinimas
Rodo mano vardą
Patvirtinkite naudodami sympy.simplify
Ribinė / ribinė būsena
Rašo fizinius komentarus
tiksli riba su sympy.limit
Serijos išplėtimas
siūlo požiūrį
Taylor plėtra su sympy.series
Žingsnis po žingsnio: patikrintas darinys
1. Išsiaiškinkite fizinį pradinį tašką. Nuo kurio dėsnio prasideda išvedimas? Antrasis Niutono dėsnis, energijos tvermė, Maksvelo lygtys? Aiškiai išdėstykite prielaidas (be trinties, mažas kampas).
2. Paprašykite dirbtinio intelekto, kad būtų atliktas žingsnis po žingsnio išvedimas. Paprašykite jo (jos) užsirašyti, kuri taisyklė (dėsnis) buvo taikoma kiekviename žingsnyje. Klauskite kelio, o ne tik galutinės formulės.
3. Patikrinkite kiekvieną algebrinį žingsnį naudodami SymPy. Gaukite išvestinę „SymPy“, išspręskite integralą „SymPy“, išspręskite lygtį „SymPy“. Jei AI žingsnis nesutampa su SymPy rezultatu, gedimas yra AI.
4. Bandymas su ribinėmis būsenomis. Ar išvestinė formulė redukuojasi iki žinomų ypatingų atvejų? Pavyzdžiui, reliatyvumo formulė turėtų grįžti prie klasikinės formulės, kai greitis labai mažas; Spyruoklės lygtis turi sumažėti iki žinomo svyravimų, kai trintis lygi nuliui.
5. Atlikite matmenų analizę. Ar galioja abiejų išvestinės formulės pusių vienetai? Tai išsamiai aptarsime 7 skyriuje, bet čia taip pat yra pagrindinis auditas.
Patarimas: Greičiausias būdas patikrinti integralą arba išvestinį, gautą iš YZ, yra atvirkštinis: atskirti integralo rezultatą su SymPy; Jei jis grįžta į pradinę išraišką, integralas yra teisingas. Šis „išvestinės integralo atvirkštinis“ yra vienas iš galingiausių patikrinimų, aptinkančių simbolines klaidas per kelias sekundes.
trys mini dėklai
1 atvejis – praleistas ženklas. Studentas paprašė dirbtinio intelekto išvesti slopinto harmoninio osciliatoriaus judėjimo lygtį. AI vienu žingsniu pakeitė slopinimo termino ženklą ir gavo (fiziškai neįmanomą) sistemą, kuri įgyja energijos. Kai studentas įjungė lygtį į SymPy ir ją išsprendė, jis pamatė, kad sprendimas auga eksponentiškai – slopinimo terminas turėtų mažėti, o ne augti. Kai pataisiau ženklą, fizika atsidūrė vietoje.
2 atvejis – neteisingas integralas. Tyrėjas paklausė AI potencialaus energijos integralo. AI davė rezultatą, kuris atrodė pagrįstas. Tyrėjas rezultatą išvedė naudodamas SymPy; prie pradinio pareiškimo negrįžo. AI praleido pastovų integralo veiksnį. Kai integralą paėmiau tiesiogiai su SymPy, gautas teisingas rezultatas.
3 atvejis – siena išgelbėjo situaciją. Mokytojas paprašė AI išvesti santykinės kinetinės energijos formulę ir gavo išraišką. Norėdamas patikrinti formulės tikslumą, su SymPy serija jis paėmė ribą, kur greitis buvo labai mažas; rezultatas nesumažėja iki klasikinio ½mv². AI prarado terminą darydamas. Teisingame išvedime riba buvo sumažinta iki klasikinės formos ir patvirtinta formulė.
Keturi kopijuojami šablonai
1) Išvedimas patvirtintas naudojant SymPy:
Iš dėsnio [pradinis dėsnis] išveskite tokį fizikinį dydį ŽINGSNIS PAS ŽINGSNIS:[target]. Užrašykite taisyklę, kurią naudojote kiekviename žingsnyje. Tada parašykite SymPy kodą, kuris patikrina kiekvieną algebrinį išvedimo žingsnį (išvestinė / integralas / sprendimas). Aiškiai nurodykite prielaidas (pvz., be trinties, mažas kampas).
2) Išvestinės išvestinės integralo apvertimo patikra:
Apskaičiuokite šio integralo rezultatą su SymPy, tada paimkite to rezultato išvestinę su SymPy ir parašykite kodą, kad patikrintumėte, ar jis grįžta į pradinę išraišką. Jei jis negrįžta, nurodykite, kuriame veiksme kilo problema. Išraiška: [čia]
3) Ribinė būsena / ribinis valdymas:
Parašykite kodą, kuris su SymPy limitu/series patikrina, ar ši išvestinė formulė [formulė], [parametras] redukuojasi iki žinomos [numatomos klasikinės formulės] labai mažoje/per didelėje riboje. Jei ne, pažymėkite galimą klaidą išvedime.
4) Lygties sprendimo patikrinimas:
Išspręskite šią lygtį [equation] naudodami SymPy solve. Pridėkite kodą, kuris patikrina, ar kiekvieną rastą šaknį grąžinant į lygtį (subs) gaunamas nulis. Pažymėkite fiziškai beprasmes šaknis (pvz., neigiamą masę).
Silpnas raginimas / Stiprus raginimas
Silpna: „Išveskite santykinės kinetinės energijos formulę“.
Rezultatas: ilgas vedinys; tarpiniai žingsniai nepažymėti, ženklo/termino klaidos paslėptos, ribinės sąlygos netikrinamos.
Stiprus: "Žingsnis po žingsnio išveskite reliatyvistinę kinetinę energiją iš darbo energijos teoremos, kiekviename žingsnyje parašykite taisyklę. Patikrinkite kiekvieną algebrinį žingsnį naudodami SymPy kodą. Galiausiai su SymPy serija parodykite, kad formulė sumažinama iki ½mv² riboje v ≪ c."
Rezultatas: patikimas, ribiniais atvejais patikrintas darinys su skeletu iš AI ir teisingumu iš SymPy.
Dažnos klaidos
- Pasikliauti AI išvedimu be SymPy. Ilguose simboliniuose dariniuose neišvengiamos ženklų ir terminų klaidos; kiekvienas žingsnis turi būti pasiektas deterministiniu įrankiu.
- Tiesiog norisi galutinės formulės. Be tarpinių veiksmų klaidos rasti nepavyks; Reikia paprašyti jo išvedimo būdo.
- Situacijos pasienyje netikrina. Nesugebėjimas sumažinti formulės iki žinomo ypatingo atvejo yra vienas patikimiausių klaidos ženklų.
- Pasitikėjimas sugalvoto dėsnio/teoremos vardu. AI gali sugeneruoti neegzistuojančio „principo“ arba „teoremos“ pavadinimą; Patvirtinkite vardus iš patikimo šaltinio.
- Vengti pašalinti nefizinę šaknį. Jei matematinis sprendimas suteikia neigiamą masę arba įsivaizduojamą laiką, ta šaknis nėra fizikinė; turi būti pašalintas.
Atsargiai: vien todėl, kad darinys atrodo „sklandus ir įtikinamas“, tai nėra tiesa. AI taip pat gali užrašyti neteisingą žingsnį itin saugia kalba. Prieš įtraukdami išvestinį į pamoką, straipsnį ar dizainą, patikrinkite kiekvieną žingsnį naudodami SymPy ir patikrinkite jį bent vienu ribiniu atveju. Nepatvirtintas darinys nėra daiktinis įrodymas.
Apibendrinant
Simboliniuose fizikos dariniuose AI nustato strategiją ir nurodo kelią; bet daro klaidų ilgoje algebroje. Kita vertus, „SymPy“ griežtai patikrina, ar kiekvienas veiksmas neatitinka taisyklių. Galingiausia darbo eiga sujungia dvi: paimkite darinį iš AI, gaukite kiekvieną veiksmą naudodami SymPy, patikrinkite rezultatą naudodami išvestinės integralo inversiją, ribinę būseną ir matmenų analizę. Kitame skyriuje mes išsamiai apžvelgsime pagrindinį bet kurio fizinio rezultato valdymą: matmenų analizę ir vieneto patikrinimą.
Taikymo užduotis
Pasirinkite žinomą fizikinį išvedimą (pavyzdžiui, greičio ir laiko santykį laisvo kritimo metu, paprastos švytuoklės periodą arba integralo randamą potencialią energiją). Tegul dirbtinis intelektas žingsnis po žingsnio gaunamas naudojant šabloną 1. Tada patikrinkite kiekvieną algebrinį žingsnį naudodami SymPy; Taikykite atvirkštinį išvestinį integralą bent vienam integralui / išvestinei ir atlikite ribinės būsenos patikrinimą. Užrašykite tai 5-6 sakiniais: Ar AI padarė klaidą darydamas, kokiu žingsniu SymPy tai atskleis?
kontrolinis sąrašas
- [ ] Nustačiau fizikinį pradinį dėsnį ir išvedimo prielaidas.
- [ ] Aš norėjau žingsnis po žingsnio gauti iš AI, o ne tik rezultatą.
- [ ] Kiekvieną algebrinį žingsnį patikrinau su SymPy.
- [ ] Atlikau bent vieną išvestinės integralo apvertimo patikrą.
- [ ] Išbandžiau formulę ribiniu atveju.
- [ ] Minėtą dėsnį/teoremą patvirtinau iš patikimo šaltinio.