Czy AI może być korepetytorem studenta i jak weryfikować jej odpowiedzi

Czy AI może być korepetytorem? Decyzja zaczyna się od zakresu i ryzyka

Pytanie nie brzmi „czy to działa?”, tylko „dla jakich zadań daje przewagę, a dla jakich generuje zbyt duże ryzyko błędu”. Modele językowe świetnie tłumaczą pojęcia, prowadzą przez rozumowanie krok po kroku i generują ćwiczenia dopasowane do poziomu. Jednocześnie potrafią brzmieć pewnie, nawet gdy mijają się z prawdą (tzw. halucynacje). Klucz to dobra separacja ról: AI jako korepetytor do myślenia i ćwiczeń, nie jako generator gotowych rozwiązań bez weryfikacji.

Przedmioty i typy zadań, w których AI realnie pomaga

• Matematyka i statystyka: rozbicie problemu na kroki, sugestie metod (np. podstawienie, indukcja, regresja liniowa), tworzenie zadań treningowych.
• Programowanie: wyjaśnienie koncepcji, szkice algorytmów, wskazówki co do złożoności, generowanie testów jednostkowych.
• Języki obce: korekta stylistyczna, parafraza, przykłady użycia, ćwiczenia leksykalne.
• Ekonomia i zarządzanie: porządkowanie definicji, porównywanie modeli, przygotowanie szablonów analizy.

Obszary o podwyższonym ryzyku i ograniczeniach

• Prawo i medycyna: wymagana duża ostrożność. Przepisy i wytyczne zmieniają się, niuanse mają znaczenie. AI może pomóc w zrozumieniu terminów, ale interpretacja i wnioski muszą być weryfikowane u źródła i/lub z ekspertem.
• Źródła i cytowania: modele potrafią „wymyślić” artykuł, DOI lub stronę. Zawsze sprawdzaj link, numer DOI i metadane.
• Dane specyficzne dla Polski (np. lokalne przepisy, aktualne taryfy): bez podania kontekstu ryzyko błędu rośnie.

Kiedy AI nie powinna być głównym korepetytorem

• Gdy tematyka wymaga dostępu do zamkniętych, aktualnych baz (np. komercyjnych komentarzy prawniczych) i nie możesz dostarczyć fragmentów do kontekstu.
• Gdy Twoim celem jest nauka pracy z pierwotnymi źródłami (np. rozwiązywanie zadań „na piechotę” lub krytyczna analiza badań) – AI może być dodatkiem, ale nie zastąpi procesu.

Brief pytań studenta: o co zwykle chodzi i na czym polega problem

Najczęstsze pytania, na które trzeba odpowiedzieć

• Jak sformułować pytanie do AI, aby wyjaśniła problem pasując do mojego poziomu?
• Jak sprawdzić, czy odpowiedź AI na zadanie rachunkowe jest poprawna, bez przeliczania wszystkiego ręcznie?
• Jak rozpoznawać halucynacje, zwłaszcza w cytowaniach i definicjach?
• Jak poprosić AI, by uczyła mnie „Sokratycznie”, zamiast podawać gotowce?
• Jak dokumentować korzystanie z AI, by nie mieć problemów na uczelni?
• Kiedy przejść z AI na żywego korepetytora i nie tracić czasu?

Poniższe wskazówki odpowiadają konkretnie na te pytania: formułują proces pracy, pokazują kryteria weryfikacji i podają gotowe szablony.

1) Ustal rolę AI: cel, zakres i granice współpracy

Kontrakt nauki z AI (co robi, czego nie robi)

Bez kontraktu AI zachowuje się jak „dobry wujek”: chce pomóc, ale czasem przesadza. Zdefiniuj to na starcie:

• Cel: „Przygotuj mnie do kolokwium z rachunku prawdopodobieństwa. Skup się na rozumieniu intuicji i typowych błędach.”
• Zakres: „Tylko tematy z wykładu 1–5, rozkłady dwumianowy i Poissona, bez zaawansowanej teorii miary.”
• Granice: „Nie podawaj finalnych wyników, dopóki nie potwierdzę kierunku. Zadawaj pytania naprowadzające.”

Przykład dobrej specyfikacji promptu

„Jesteś moim korepetytorem z algebry liniowej (poziom 1. roku). Uczysz w trybie Sokratycznym: najpierw pytanie diagnostyczne, potem krótkie wyjaśnienie (maks 5 zdań) i mini-zadanie sprawdzające. W odpowiedziach pilnujesz precyzji definicji (np. wymiar, rząd macierzy). Na końcu każdej interakcji dodaj 2 typowe błędy, które mogę popełnić.”

Dlaczego to działa

Takie ustawienie wymusza strukturę, ogranicza halucynacje (AI nie „ciągnie aż do końca” bez Twojej kontroli) i buduje ścieżkę nauki. Dodatkowo, „typowe błędy” to darmowy test regresyjny Twojego zrozumienia.

2) Pytaj krokami i narzucaj format odpowiedzi

Struktura odpowiedzi, która ułatwia kontrolę jakości

Poproś AI o konkretne sekcje:

• „Założenia i definicje” – czysty słownik użytych pojęć.
• „Plan rozwiązania” – 3–5 kroków zanim padną rachunki.
• „Rozwiązanie” – krótkie, nieprzegadane przeliczenia lub argumentacja.
• „Kontrola błędów” – co najmniej 2 testy sanity-check (np. jednostki, graniczne przypadki).
• „Co mogłem zrozumieć źle” – lista częstych nieporozumień.

Przykładowe prompty do wymuszenia jakości

• „Podaj odpowiedź w formacie: Definicje | Plan | Rozwiązanie | Sprawdzenie wyniku (2 testy) | Typowe błędy.”
• „Dla każdego wzoru podaj, skąd się bierze (źródło: nazwa twierdzenia/podręcznik/intuicja).”
• „Podawaj liczby z dwoma miejscami po przecinku i jednostkami. Na końcu oceń w skali 0–3 swoje zaufanie do wyniku.”

Tryb Sokratyczny kontra wykładowy

Proś o pytania diagnostyczne i małe checkpointy: „Zadaj mi 1 pytanie, które wykryje lukę w rozumieniu, zanim przejdziesz dalej.” Taki rytm rozbija złudzenie „rozumiem, bo przeczytałem” i zamienia je w „umiem, bo odpowiedziałem i zastosowałem”.

3) Automatyczna kontrola jakości: sprawdzaj wynik inną drogą

Jak to robić bez przeliczania wszystkiego

• Przypadki skrajne: podstaw wartości 0, 1, ∞ albo bardzo małe/duże liczby. Jeśli wzór „rozjeżdża się” – coś nie gra.
• Jednostki i wymiarowość (dimensional analysis): wynik bez jednostek w zadaniu fizycznym lub ekonomicznym to alarm.
• Operacje odwrotne: zrób „round-trip”. Zróżniczkuj całkę, podnieś i opuść transformację (np. log/exp, FFT/iFFT), pomnóż przez macierz i jej odwrotność.
• Symetrie i inwariancje: jeśli problem jest symetryczny (np. zamiana ról A/B), wynik też powinien taki być.
• Porównanie metod: policz inną techniką (np. numerycznie vs. analitycznie), nawet przybliżeniowo.

Mini-przykład (pochodna numerycznie vs. analitycznie)

import numpy as np

def f(x): return np.sin(x) * np.exp(-x)
def df_true(x): return np.cos(x)*np.exp(-x) - np.sin(x)*np.exp(-x)
def df_num(x, h=1e-6): return (f(x+h)-f(x-h))/(2*h)

x = 0.7
err = abs(df_true(x) - df_num(x))
print("Błąd:", err)

Jeśli błąd jest rzędu 1e-5–1e-6 dla gładkich funkcji – analityczny wynik raczej jest poprawny. Odchyłka rzędu 1e-2 przy „ładnych” funkcjach to sygnał do ponownej weryfikacji.

Tip: poproś AI, by zaproponowała 3 sanity-checki jeszcze przed wyliczeniami. Wtedy łatwiej „odcedzić” błędny tor rozumowania.

4) Źródła i cytowania: workflow 5 kroków

Minimalny standard metadanych

• Wymuś: Autor | Tytuł | Rok | Wydawca/Journal | DOI/ISBN | Stały URL | Cytat ze stroną.
• Prompt: „Podaj 3 źródła z pełnym DOI i cytatem stronicowanym. Jeśli nie masz DOI – powiedz to wprost.”

Weryfikacja poza AI (bez dyskusji)

• DOI: https://doi.org/[numer] – czy resolved? Czy tytuł się zgadza 1:1?
• Google Scholar/Crossref: porównaj autorów, rok i czasopismo.
• PDF/książka: sprawdź, czy cytowany fragment istnieje i ma te same słowa kluczowe.
• Brak zgodności metadanych ≥2 pól (np. rok i tytuł) – odrzucaj źródło bez żalu.

Przykład szybkiego filtra

• „Podaj 2 recenzowane źródła z ostatnich 5 lat + 1 klasyczne (starsze), każde z DOI. Przy każdym: 1–zdaniowe uzasadnienie, czemu jest relewantne dla problemu X.”
• „Jeśli nie znajdziesz DOI – zwróć N/A i zasugeruj alternatywę.”

5) Programowanie: testy przed kodem, sandbox przed uruchomieniem

Najpierw specyfikacja i przypadki krawędziowe

• Zanim poprosisz o kod, napisz 5–8 testów (przypadki nominalne + skrajne).
• Dołącz kontrakty wejście/wyjście (typy, zakresy, złożoność czasowa/pamięciowa, np. O(n log n)).

Minimalny przykład (Python + asercje)

# spec: funkcja compress(s) zwraca run-length encoding, np. "aaabb" -> "a3b2"
def test():
    assert compress("") == ""
    assert compress("a") == "a1"
    assert compress("aaabb") == "a3b2"
    assert compress("ab") == "a1b1"
    assert compress("   ") == " 3"  # spacje też liczymy
# poproś AI: "Napisz implementację, nie zmieniaj formatu wyniku. Żaden test nie może być edytowany."

Uwaga: uruchamiaj kod w piaskownicy (np. venv/conda, ograniczone uprawnienia, brak sieci), szczególnie gdy AI sugeruje instalacje/komendy powłoki.

Tip: dołącz „zabójcze” przypadki (pusta lista, wartości graniczne, duplikaty, kolejność nieistotna) – to usuwa 80% subtelnych błędów na starcie.

6) Kalibracja ostrożności: wymuś niepewność i pytania uzupełniające

Szablon, który zmniejsza halucynacje

• „Jeśli pewność < 80%, wypisz ‘Niepewność: …’ i zadaj 2 pytania doprecyzowujące zamiast udawać wiedzę.”
• „Odpowiadaj tylko na podstawie cytowanych fragmentów (podaj cytat i źródło). Gdy brak kontekstu – zatrzymaj się.”
• „Zanim podasz wynik, wypisz listę założeń. Jeśli któreś jest mocne/niestandardowe – poproś o akcept.”

Przykład krótkiego promptu

„Pracuj konserwatywnie: wolę ‘nie wiem’ niż błędną tezę. Jeśli wnioskujesz, podaj poziom pewności (0–1) i wskaż brakujące dane.”

7) Replikowalność nauki: logi, wersje, dowody weryfikacji

Co archiwizować, żeby móc wrócić i poprawić

• Prompty i odpowiedzi (z datą, modelem, wersją biblioteki, seedem – gdy dotyczy).
• Zestaw testów/weryfikacji oraz wynik „przed/po”.
• Źródła potwierdzające (link + krótka adnotacja: „co potwierdza”).
• Lista błędów, które wyszły w praniu, i jak je wykryłeś (to twoja prywatna checklist’a regresji).

Mini-szablon notatki

• Temat: … | Cel: … | Model: … | Data: …
• Założenia: …
• Wynik AI: … | Testy: pass/fail …
• Źródła: [link, DOI, cytat] – weryfikacja: OK/NIE
• Co poprawić następnym razem: …

8) Eskalacja do człowieka: czerwone flagi i szybki brief

Kiedy kończyć z AI i dzwonić po korepetytora

• Wysokie stawki błędu: prawo, medycyna, projekty z konsekwencjami finansowymi/bezpieczeństwa.
• Niespójności między odpowiedziami AI mimo tych samych danych wejściowych.
• Brak weryfikowalnych źródeł lub „pływające” metadane (inne roczniki, tytuły, wydawcy).
• Zadanie wymaga oceny jakości badań, pracy z oryginalnymi dowodami lub specjalistycznymi bazami.

Jak przygotować 10‑minutowy brief dla korepetytora

• Cel i kryterium sukcesu (np. „rozumiem metodę, umiem zrobić 3 typy zadań”).
• Co już zrobiłeś: prompty, testy, wyniki, gdzie pęka logika.



9) Rubryka oceny: jak sprawdzić „miękkie” odpowiedzi AI (eseje, wyjaśnienia, projekty)

Gdy wynik nie jest liczbą ani jednoznacznym dowodem, przyjmij rubrykę (prosty system punktacji), żeby decyzja „ok/nieok” nie była uznaniowa.

Mini‑rubryka 5 kryteriów (0–2 pkt każde)

• Precyzja pojęć (0–2): czy każde kluczowe słowo ma zdefiniowany sens w tym kontekście?
• Struktura argumentu (0–2): teza → przesłanki → wniosek; bez przeskoków logicznych.
• Źródła i weryfikowalność (0–2): cytaty ze stroną/DOI; brak „anonimowych” autorytetów.
• Kontrargument/ograniczenia (0–2): co by obaliło tezę? jakie są warunki brzegowe?
• Przydatność (0–2): co z tym zrobię na egzaminie/projekcie? krok „co dalej”.

Przykład: „Wyjaśnij różnicę między korelacją a przyczynowością w ekonomii eksperymentalnej”. Poproś AI o odpowiedź w 150–200 słowach + 1 kontrprzykład + 2 źródła z DOI. Oceń 0–10 pkt tą rubryką. Uwaga: jeśli łączna ocena ≤6, wróć do sekcji „definicje” i „źródła” – zwykle tam jest najsłabiej.

10) Matematyka i fizyka: łącz LLM z CAS (Computer Algebra System)

LLM dobrze planuje kroki, CAS weryfikuje rachunki. Rozdziel te role: plan → dowód pomysłu → sprawdzenie równoważności.

Workflow „plan od AI, dowód od CAS”

• Poproś AI o Plan (bez liczenia): „Jak przekształcić integral ∫ f(x) dx do postaci …? Podaj 3–4 kroki z nazwami przekształceń.”
• Każdy krok sprawdź w CAS (np. SymPy, Wolfram): czy transformacja jest równoważna dla zadanych założeń (dziedzina, dodatniość, brak osobliwości).
• Na końcu test równoważności: różnica obu wyrażeń upraszczana do zera dla symbolicznych założeń lub w losowych punktach (property-based).

Mini‑przykład (SymPy: sprawdzenie równoważności pochodnej)

import sympy as sp
x = sp.symbols('x', real=True)
f = sp.sin(x) * sp.exp(-x)
df_ai = sp.cos(x)*sp.exp(-x) - sp.sin(x)*sp.exp(-x)  # wynik zaproponowany przez AI
ok_symbolicznie = sp.simplify(sp.diff(f, x) - df_ai) == 0
# weryfikacja numeryczna w kilku punktach (fallback)
pts = [0, 0.7, 2.0, -1.0]
ok_numerycznie = all(abs(sp.N(sp.diff(f, x).subs(x,p) - df_ai.subs(x,p))) < 1e-7 for p in pts)
print("Symbolicznie OK:", ok_symbolicznie, "| Numerycznie OK:", ok_numerycznie)

Tip: ustaw założenia (assumptions), np. x>0, gdy pojawiają się logarytmy/pierwiastki. Bez tego CAS może „zaakceptować” równoważność tylko lokalnie.

11) Słownik pojęć i kontrprzykłady: kotwice dla precyzji

Ustal własny słownik (glossary) i kontrprzykłady. To zabija mglistość i ujawnia mylenie terminów.

• Proś AI: „Podaj 2 definicje: rząd macierzy, wymiar przestrzeni wektorowej. Dodaj 1 kontrprzykład pokazujący, że rząd(A) ≠ liczba kolumn(A).”
• Dla analizy: „Ciągłość ≠ różniczkowalność” – poproś o przykład funkcji ciągłej nieróżniczkowalnej w 0 i test graniczny.
• Konwencje znaków i norm: „Jakiej normy używamy? Czy ‘||x||’ to 2‑norma czy dowolna?” – unikniesz niejawnych założeń.

Mini‑rytuł: 3 minuty przed rozwiązaniem

• 1 min: zapis definicji (jednozdaniowo, z kwantyfikatorami, jeśli trzeba).
• 1 min: kontrprzykład (dlaczego mylna intuicja pada).
• 1 min: test diagnostyczny od AI (1 pytanie z odpowiedzią TAK/NIE z uzasadnieniem w 2 zdaniach).

12) Teksty i cytaty: tryb „źródło albo parafraza”

Oddzielaj fakty z cytatem od parafrazy własnymi słowami. To przeciwdziała „zmyślonym” przypisom.

• Wymuś tagi: [Cytat: „…”, Autor, Rok, strona, DOI] oraz [Parafraza: …, Źródło: …/N/A]. Brak DOI/strony → oznacz jako N/A i zweryfikuj ręcznie.
• Poproś o 2 zdania „dlaczego to źródło wspiera tezę” – wykryjesz cytaty pozorne (źródło „o czymś innym”).
• Gdy AI podaje dane liczbowe, żądaj „ścieżki pochodzenia” (data lineage): plik/rozdział/sekcja.

Kontrola stylu i plagiatu bez narzędzi premium

• Porównanie stylu: „Zrób diff stylu między moim akapitem a Twoją wersją i wskaż frazy wysokiego ryzyka kalki.”
• Redukcja ryzyka: „Przepisz akapit, zachowując znaczenie, z inną strukturą zdań i innym słownictwem, bez dodawania nowych tez.”
• Uwaga: AI nie jest detektorem plagiatu. Potrzebna jest niezależna weryfikacja i notatka: skąd pochodzi każda kluczowa teza.

13) Decyzja: kiedy AI jako korepetytor „wystarcza”, a kiedy zmienić tryb

• Wystarcza, gdy: potrzebujesz planu nauki, definicji, szybkich ćwiczeń, feedbacku na rachunki/algorytmy, sparingu pytań testowych, checklisty sanity‑checków.
• Warunkowo, gdy: temat jest nowy, ale niekrytyczny; masz czas na weryfikację (CAS/źródła), a ryzyko błędu jest niskie (zadania domowe bez skutków prawnych/finansowych).
• Nie wystarcza, gdy: pojawia się oryginalny dowód, niestandardowy model badawczy, praca wymaga dostępu do płatnych baz/eksperckich danych, lub brakuje jasnych kryteriów oceny i źródeł.

Tip decyzyjny: jeśli w dwóch niezależnych sesjach AI dają sprzeczne odpowiedzi mimo tych samych założeń i nie przechodzą Twoich sanity‑checków, przełącz się na mentora/człowieka i przynieś logi, plan, testy oraz miejsca niezgodności.

14) Fermi‑checki i jednostki: sito na liczby w 60 sekund

Co sprawdzać bez kalkulatora

• Jednostki i ich zgodność (analiza wymiarowa): czy wyrażenie ma sens (np. energia w J, a nie w m/s)?
• Zakresy i granice: prawdopodobieństwa ∈ [0,1], normy ≥ 0, logarytmy tylko dla argumentów > 0.
• Sumy/konserwacja: wiersze macierzy przejścia Markowa sumują się do 1; bilans masy/ładunku się „domyka”.
• Porządek wielkości (Fermi): czy wynik jest w tej samej skali co znane kotwice (np. gęstość powietrza ~1.2 kg/m³, prędkość dźwięku ~340 m/s)?
• Punkty skrajne: sprawdź x→0, x→∞, wartości brzegowe (np. n=1, n=2) – czy wzór nie „eksploduje”.

Mini‑przykłady

• AI podaje „prawdopodobieństwo 1.3” – odrzucasz bez dyskusji.
• Macierz P 3×3 do łańcucha Markowa – szybki test: czy każda suma wiersza ≈ 1 z tolerancją 1e‑6?

15) Kontrola wariancji modelu: parametry, seed i konsensus

Jak ograniczyć losowość odpowiedzi

• Ustawienia „stabilne”: temperatura 0.0–0.2, top_p=1.0, max_tokens z zapasem (ucięcia generują błędy).
• Seed (gdy dostępny) + powtarzalny prompt (te same instrukcje, ten sam kontekst). Zmieniasz jedną rzecz naraz (A/B).
• Jasne ograniczenia: „odpowiadaj tylko w oparciu o cytowane źródła / testy przejścia”. Redukuje halucynacje.

Schemat „3 odpowiedzi + konsensus”

• Wygeneruj 3 niezależne odpowiedzi (różne seedy).
• Poproś AI o „raport różnic”: wypunktuj tylko tezy wspólne 2/3 odpowiedzi i zaznacz sporne.
• Zweryfikuj tezy wspólne testami/źródłami; tezy sporne – odłóż lub eskaluj.

16) Generowanie i weryfikacja zadań: retrieval practice bez ślepych punktów

Szablon prośby o zestaw pytań

• „Stwórz 12 pytań [poziomy: 4 łatwe, 4 średnie, 4 trudne] z tematów: A, B, C. Dodaj:
  a) klucz z wyjaśnieniem w 1–2 zdaniach,
  b) tagi tematyczne,
  c) dlaczego każda błędna odpowiedź jest kusząca.”
• „Zrób macierz pokrycia (temat × poziom) i wskaż luki. Jeśli temat nie ma pytania trudnego – dopisz 1.”

Jak sprawdzić klucz odpowiedzi

• Losowo sprawdź 25–30% pytań „na piechotę” lub w CAS (gdy rachunki).
• Poproś o kontrprzykład obalający alternatywę z klucza – fałszywy klucz zazwyczaj się tu sypie.
• Oznacz pytania „wysokiego ryzyka” (wiele podobnych dystraktorów, dwuznaczne definicje) i popraw prośbą: „przepisz tak, by tylko 1 odpowiedź była poprawna po usunięciu niejednoznaczności X”.

17) Kod i algorytmy: testy właściwości zamiast patrzenia w ekran

Co kazać AI wygenerować

• Właściwości (inwarianty): idempotencja, zachowanie rozmiaru, monotoniczność, stabilność numeryczna.
• Zestaw przypadków brzegowych: puste dane, NaN/∞, duplikaty, skrajne zakresy.
• Szacowanie złożoności (Big‑O) + eksperyment: pomiar czasu dla n w {1e3, 1e4, 1e5} i regresja log‑log.

Mini‑przykład (Hypothesis: test sortowania)

from hypothesis import given, strategies as st

def my_sort(xs):
    # implementacja AI lub Twoja
    return sorted(xs)

@given(st.lists(st.integers(), max_size=200))
def test_sort_properties(xs):
    ys = my_sort(xs)
    # 1) Niezmalejąco
    assert all(ys[i] <= ys[i+1] for i in range(len(ys)-1))
    # 2) Permutacja
    assert sorted(xs) == ys
    # 3) Idempotencja
    assert my_sort(ys) == ys

Tip: jeżeli AI proponuje optymalizację, dodaj test na stabilność (zachowanie kolejności równych elementów) – to częsty „niewidoczny” regres.

18) Praca ze źródłami naukowymi: triada „metadane–cytat–replikacja”

Jak ograniczyć zmyślone DOI

• Format twardy: [Autor, Rok, Tytuł, Czasopismo, DOI: 10.xxxx/xxxxx, Strona/sekcja]. Brak → DOI: N/A.
• Poproś o fragment streszczenia (2 zdania) jako cytat w cudzysłowie – łatwo zweryfikujesz z podglądem w Google Scholar/Crossref.
• Wymuś „powiązanie tezy ze stroną”: „Które zdanie ze strony/sekcji potwierdza wniosek X?”

Ćwiczenie 10‑min (weryfikacja tezy)

• Teza robocza: zapisz jednym zdaniem.
• Poproś AI o 2 źródła „za” i 1 „przeciw” z pełnymi metadanymi + kluczowym cytatem.
• Sprawdź DOI/tytuł w Crossref/Scholar, porównaj cytat z podglądem; odrzuć niespójne.
• Jeśli zostanie 1–2 wiarygodne źródła, spróbuj drobnej replikacji (np. przeliczenie statystyki na udostępnionych danych lub odtworzenie rysunku z metodyki).

19) Tryb sokratejski: niech AI pyta, Ty liczysz

Zamiast prośby „rozwiąż”, poproś o serię pytań kontrolnych (scaffolding), które prowadzą Cię do rozwiązania – bez podawania go wprost. Minimalizujesz efekt „przeczytałem i wydaje się proste”.

• Prośba: „Zadaj 6–8 pytań prowadzących do dowodu Twierdzenia o funkcji odwrotnej. Po każdej mojej odpowiedzi: a) sprawdź poprawność w 1–2 zdaniach, b) daj wskazówkę do następnego kroku. Nie podawaj finalnego dowodu.”
• Przykład: rachunek całkowy. „Najpierw: jakie warunki na f i f′ są potrzebne? Co oznacza ‘f′(x₀) ≠ 0’ w kontekście lokalnej odwracalności?” – szybciej wychwycisz luki (np. mylenie ciągłości z różniczkowalnością).
• Praktyczny sens: ćwiczysz konstrukcję rozwiązania (metoda), nie tylko jego wynik. To przyspiesza rozwiązywanie wariantów zadania na egzaminie.

Szablon „rubryki” do odpowiedzi studenta

• Poprawność merytoryczna: 0–2 (błąd/niepełne/poprawne).
• Uzasadnienie: 0–2 (brak/intuicja/odniesienie do definicji lub twierdzenia).
• Notacja i warunki: 0–1 (nieprecyzyjna/precyzyjna).

Tip: jeżeli czujesz „zgadywanie”, poproś AI o mniejszy krok („rozbij to pytanie na 2 prostsze z podpowiedzią do każdej”).

20) Kalibracja pewności: liczby zamiast przymiotników

„Raczej tak” to nie informacja. Wymuś prawdopodobieństwo i sprawdzaj zgodność deklaracji z trafieniami (kalibracja).

• Prośba: „Podaj odpowiedź i pewność w % w jednym z koszyków: 60%, 75%, 90%, 97%. Jeśli < 80% – dodaj test weryfikacyjny (CAS/źródło/kontrprzykład).”
• Mini‑procedura: zbierz 20 odpowiedzi, zgrupuj po koszykach. Dla 90% trafności powinno być ~9/10 poprawnych. Gdy 90% daje 6/10, model jest przepewny – żądaj testów częściej.
• Przykład: pytania prawda/fałsz z algebry liniowej. Jeśli AI daje 97% dla „Każda macierz kwadratowa jest podobna do trójkątnej” – żądaj szybkiego dowodu/skicu (tw. Schura) albo wskaźnika „tylko nad C”. Brak doprecyzowania pola → obniż pewność.

Rytuał 5‑min po sesji

• Spisz 3 twierdzenia z pewnością ≥90% i sprawdź 2 z nich niezależnie (skrypt/źródło/CAS).
• Jeśli 2× z rzędu trafność koszyka 90% < 80%, zaostrzasz politykę: „każde ≥90% musi mieć test brzegowy/źródło”.

21) Analiza danych z AI: straż przeciw „przeciekom” i zbyt dobrym wynikom

LLM potrafi pisać ładne raporty, ale to nie chroni przed błędami metodologicznymi (data leakage, złe podziały, cherry‑picking). Narzuć kontrolę procesu.

• Podział danych przed rozmową o modelu: train/valid/test (lub walidacja czasowa, gdy sekwencje). AI widzi tylko opis podziału, nie etykiety testu.
• Baseline’y: „dummy” (strzelanie klasą większości), regresja liniowa/LogReg. Gdy model AI wygrywa o 0.1 pp, to nie wygrywa – szukaj istotności lub błędu.
• Permutacja etykiet (sanity check): losuj etykiety i sprawdź, czy metryka ≈ baseline. Lepsze niż baseline → wyciek informacji.
• Ablacja cech: usuń 1–2 najbardziej „magiczne” cechy, sprawdź spadek jakości. Zero spadku? Cechy są placebo lub model jest przeuczony.
• Raport reprodukowalności: seed, wersje pakietów, dokładny prompt do generacji kodu, hash danych.

Mini‑przykład (klasyfikacja spamu)

• Proś AI: „Ułóż plan: split czasowy (do miesiąca M train, po M test), baseline LogReg na TF‑IDF, permutacja etykiet ×3, ablace (bez domeny nadawcy). Zwróć tabelę metryk z 95% CI.”
• Wynik „AUC=0.99” bez spadku po permutacji? Przerywasz i szukasz wycieku (np. cecha ‘czy w folderze spam’).

22) RAG na własnych notatkach: kontrola zakresu i „out‑of‑scope”

Gdy oczekujesz odpowiedzi „z kursu”, dołącz notatki/skrypty i każ AI cytować tylko z nich (RAG – retrieval‑augmented generation). Unikasz niezgodności z wykładową konwencją.

• Ustal tryb: „Odpowiadaj wyłącznie na bazie załączonych materiałów. Każda teza → [sekcja/strona/slajd]. Gdy brak pokrycia – oznacz jako [OOS] i nie zgaduj.”
• Kontrola top‑k: „Pokaż 5 najlepiej dopasowanych fragmentów + score dopasowania. Jeśli score < prog, zwróć [OOS].”
• Raport pokrycia: „Czy pytanie zahacza o materiały spoza notatek (np. uogólnienia)? Zaznacz brakujące definicje.”
• Przykład: analiza miary. W kursie używacie konwencji „prawie wszędzie (p.w.)” – AI musi wskazać, gdzie w notatkach to zdefiniowano i jak jest zapisywane.

Minimalny format odpowiedzi w trybie RAG

[Teza 1] ...  — Źródło: Slajd 12, sekcja 3.2
[Teza 2] ...  — Źródło: Str. 45, Def. 5.1
[OOS] Uogólnienie do przestrzeni Banacha wymaga źródeł spoza materiałów.

23) Tłumaczenia i notacja: semantyka ponad słowa

AI bywa świetnym tłumaczem, ale potrafi zniszczyć sens (mean ↔ expected value, variance ↔ dispersion). Zanim rozwiążesz, zablokuj mapowanie pojęć i symboli.

• Prośba: „Przetłumacz zadanie, ale zachowaj oryginalne symbole. Dodaj tabelkę mapowania: {termin źródłowy → termin docelowy, definicja 1 zdanie}.”
• Wymuś kontekst: „mean = średnia arytmetyczna próby, nie wartość oczekiwana populacji, o ile nie zaznaczono inaczej.”
• Przykład pułapki: „deviation” w statystyce opisowej ≠ „standard deviation” z definicji momentowej. AI ma wypisać, jak interpretować termin w danym zadaniu.

Mini‑ćwiczenie (2 min przed liczeniem)

• Lista symboli: n, N, μ, x̄, s² – kto jest populacją, kto próbą?
• Konwencja log: log ≡ ln czy log₁₀? Jeśli niejawne, ustal i odnotuj w nagłówku rozwiązania.

24) Ergonomia sesji z AI: pętle 25 min i „punkty kontrolne”

Nadmiar kontekstu i skakanie po wątkach psują jakość. Uporządkuj pracę w krótkich iteracjach i stałych checkpointach.

• Plan 25′: 5′ definicje i dane wejściowe → 15′ praca właściwa → 5′ walidacja (Fermi, CAS, źródło, OOS/RAG, jednostki).
• Limit kontekstu: co 2–3 wątki proś o „snapshot” założeń (bullet list) i usuń zbędne odgałęzienia. Mniej szumu → mniej sprzeczności.
• Artefakty: trzymaj osobno
  a) dane wejściowe (treść, definicje, notacje),
  b) hipotezy,
  c) wyniki i testy.
  Łatwiej wrócić po przerwie i porównać alternatywy.
• Checklist „STOP4” na koniec iteracji:
  1) Czy wynik przechodzi szybki test jednostek/jednostkowania?
  2) Czy istnieje prosty kontrprzykład, który mógłby to obalić?
  3) Czy wynik jest zgodny z intuicją porównawczą (porządek wielkości, graniczne przypadki)?
  4) Czy potrafisz streścić rozwiązanie w 3 zdaniach bez detali technicznych?

Snapshot do wklejenia przed kolejną pętlą

Założenia:
- ...

Cel i kryterium sukcesu:
- ...

Decyzje podjęte (z datą):
- ...

Otwarte ryzyka i testy do uruchomienia:
- ...

25) Adwersarialne sprawdzanie: poproś AI o kontr-tezę i kontr-dowód

Gdy odpowiedź wygląda „zbyt gładko”, wymuś kontr-proces: niech AI zbuduje przypadek obalający Twoje wnioski lub wskaże najsłabsze ogniwo argumentacji. To szybki test kruchości rozwiązania.

Procedura „kontr-promptu” w 7 minut

• Zamroź tezę: zapisz ją w 1–2 zdaniach wraz z warunkami (dziedzina, założenia, definicje).
• Rola prokuratora: poproś AI o 3 najsłabsze punkty rozumowania (miejsce, dlaczego słabe, jaki eksperyment/lemat to podważa).
• Rola hakera: poproś o minimalny kontrprzykład (najprostsza funkcja/zbiór/dane), który łamie tezę przy zachowaniu wszystkich założeń.
• Rola audytora: niech AI poda, co trzeba dodać do założeń, aby kontrprzykład przestał działać (wzmocnienie hipotez).
• Brak kontrprzykładu? Wymuś ograniczenie przestrzeni poszukiwań: „szukaj w klasie funkcji wielomianowych stopnia ≤ 3 / macierzy 2×2 / przypadkach skrajnych”.
• Na koniec: proś o streszczenie „co zmieniliśmy w treści tezy” i nową wersję twierdzenia z wzmocnionymi warunkami.

Przykład szybkiego kontrdowodu

Teza: „Jeśli f′(x₀) = 0, to x₀ jest ekstremum lokalnym”.

• Kontrprzykład (1 linijka): f(x) = x³, f′(0) = 0, ale 0 nie jest ekstremum (punkt siodłowy).
• Wniosek audytora: teza wymaga mocniejszych warunków (np. znak drugiej pochodnej, test drugiej pochodnej, lub wklęsłość/wykresność w otoczeniu).

Szablon „prokurator ↔ obrońca”

Rola PROKURATORA:
- Wskaż 3 luki w dowodzie/rozumowaniu (miejsce w tekście, rodzaj luki).
- Zaproponuj minimalny test brzegowy lub kontrprzykład.

Rola OBROŃCY:
- Uzupełnij brakujący lemat lub doprecyzuj założenia.
- Pokaż, że test brzegowy przestaje obalać tezę po zmianie warunków.

Granica:
- Jeśli po 2 iteracjach nadal istnieje prosty kontrprzykład, obniżamy pewność do 60% i oznaczamy temat do konsultacji z człowiekiem.

Tip: wyraźnie oddziel „błąd w logice” (wniosek nie wynika) od „błędu w modelu” (założenia nie pokrywają realiów). Pierwszy naprawisz lematem, drugi – zmianą danych/definicji.

26) Kiedy AI nie wystarczy: sygnały do kontaktu z człowiekiem

Nie każde zadanie jest dobre do „solo z AI”. Poniżej szybkie wskaźniki, że czas na konsultację z prowadzącym lub korepetytorem.

• Wysoka niepewność domenowa: zadania na pograniczu kilku działów (np. miara + topologia + probabilistyka) i nietypowa notacja własna wykładowcy.
• Dowody egzystencjalne lub konstrukcje „delikatne” (zależne od aksjomatów, wyjątków, subtelnych założeń regularności).
• Wynik „za dobry, by był prawdziwy”: skok jakości na danych rzeczywistych bez jasnej przyczyny (sekcja 21 – leakage).
• Konflikt źródeł: dwa rzetelne opracowania podają sprzeczne wnioski – AI nie rozstrzygnie lepiej niż specjalista.
• Ocena etyczna/oryginalność: prace zaliczeniowe, w których „styl myślenia” ma znaczenie. AI może pomóc w ćwiczeniu, ale nie zastąpi własnej argumentacji.