Przejdź do treści

Minutówka

Oto szczegółowa minutówka (scenariusz rozpisany minuta po minucie) dla 90-minutowych warsztatów interaktywnych „Logika za Kawę i Rygor”.

Scenariusz został zaprojektowany w taki sposób, aby prowadzący dokładnie wiedział, co ma mówić, które rekwizyty uruchamiać i jak w danym momencie sterować obrazem na ekranach.

⏱️ SZCZEGÓŁOWA MINUTÓWKA: „Logika za Kawę i Rygor” (90 minut)

CZĘŚĆ I: KAWIARNIANY ROZBIEG I ŚWIT RYGORU (00:00 – 00:20)

Cel: Budowanie klimatu, immersja historyczna, aktywacja stolikowa.
Ekran centralny: Uruchomiony program warszawa_ai_topology.py działający w pętli. Prowadzący na początku pilotem zatrzymuje animację na Fazie 1 (STAN_LOGIKI) – na ekranie świeci idealne, zamrożone drzewo logiczne i napis: „Badane wyrażenie: ((p -> q) v ~r)”.

  • 00:00 – 00:05 | Powitanie i Rejestracja Zmysłów (5 min)
    • Działanie: Uczestnicy (6–106 lat) wchodzą do sali stylizowanej na przedwojenną kawiarnię. Siadają przy czarnych, matowych stolikach. Pachnie świeżo parzoną kawą (dla dorosłych) i sokiem (dla dzieci) [local].
    • Słowa Kluczowe Prowadzącego: „Dzień dobry. Zapraszam do Warszawy lat 20. XX wieku. Do kawiarni Mała Ziemiańska i Zodiak. Usiądźcie przy stolikach bohemy. Dzisiaj wspólnie odkryjemy, że najpotężniejsze modele sztucznej inteligencji, jakie nosicie w kieszeniach, zostały zaprogramowane kredą na kawiarnianych blatach sto lat temu.”
  • 00:05 – 00:12 | Opowieść o Dwóch Biegunach (7 min)
    • Działanie: Krótki, dynamiczny wykład ilustrowany historycznymi anegdotami. Prowadzący rysuje na tablicy dwie osie: Lwów i Warszawa.
    • Przekaz: Lwów to chaos Kawiarni Szkockiej, alkohol, nocne dyskusje Banacha i zapisywanie genialnych równań na marmurze. Warszawa to rygor, elegancja u Loursa, garnitury, uniwersyteckie seminaria Sierpińskiego i Kuratowskiego oraz bezkompromisowe dążenie do skodyfikowania czystej logiki.
  • 00:12 – 00:20 | Warsztat Stolikowy: „Algorytm parzenia kawy” (8 min)
    • Działanie: Pierwsza aktywacja uczestników. Każdy stolik dostaje białą kredę/marker.
    • Zadanie: „Zapiszcie na blacie stolika instrukcję dla robota: Jak zaparzyć kawę. Warunek: nie wolno użyć ani jednego słowa. Używajcie tylko symboli, strzałek i relacji.”
    • Rola wiekowa: Najmłodsi rysują piktogramy (filiżanka, woda), młodzież spina to w grafy warunkowe (IF/ELSE), seniorzy pilnują rygoru i jednoznaczności instrukcji.

CZĘŚĆ II: ŻYWY KOMPUTER I MAGIA ZAPISU POLSKIEGO (00:20 – 00:45)

Cel: Zrozumienie struktur danych, stosu komputerowego i eliminacji nawiasów.
Ekran centralny: Prowadzący włącza odtwarzanie animacji – punkty z drzewa składniowego płynnie spływają w dół ekranu, układając się w linearny zapis tekstowy.

  • 00:20 – 00:27 | Demontaż ludzkiej mowy: Wyrażenie ((p -> q) v ~r) (7 min)
    • Działanie: Prowadzący wskazuje na ekran centralny i tłumaczy badane zdanie za pomocą ludzkiej metafory.
    • Przekaz: Przypisujemy zmienne: \= Pada deszcz, \= Asfalt jest mokry, \= Idę na spacer. Całe zdanie to: „Jeśli pada deszcz, to asfalt jest mokry, LUB nie idę na spacer”.
    • Problem naukowy: Ludzki mózg radzi sobie z nawiasami, ale maszyna ich nienawidzi, bo ciągłe sprawdzanie, gdzie nawias się zaczyna, a gdzie kończy, blokuje pamięć procesora.
  • 00:27 – 00:45 | Gra Wielkoformatowa: „Bieganie po Stosie Łukasiewicza” (18 min)
    • Działanie: Prowadzący rozwija na środku sali wielką matę podłogową „Stos RPN” (gra w klasy).
    • Podział ról: Dzieci (6–10 lat) dostają tabliczki z literami p, q, r. Młodzież dostaje tabliczki z operatorami -> (implikacja), v (lub), ~ (nie). Seniorzy stają na końcu maty jako „Sędziowie Stosu” z arkuszami weryfikacyjnymi.
    • Przebieg gry: Prowadzący krzyczy: „Uruchomić Zapis Polski Jana Łukasiewicza!”. Zgodnie z animacją w tle, uczestnicy muszą wskakiwać na odpowiednie pola maty w idealnym porządku przedrostkowym: najpierw operator v, potem ->, potem dzieci p i q, na końcu operator ~ i dziecko r.
    • Efekt edukacyjny: Gdy uczestnicy stoją w linii na macie, nawiasy znikają. Sędziowie-seniorzy odczytują zdanie bezbłędnie. Uczestnicy na własnych nogach poczuli, jak działa stos pamięci RAM.

CZĘŚĆ III: KRZEMOWY RYGOR – BITWA 1.58-BIT (00:45 – 01:15)

Cel: Zrozumienie różnicy między tradycyjnym AI a rewolucją logiki trójstanowej z lata 2026 roku.
Ekran centralny: Prowadzący przełącza animację na Fazę 2 (ROZPAD_TOPOLOGICZNY) – punkty na ekranie eksplodują w trójwymiarowy chaos.

  • 00:45 – 00:55 | Wstrzyknięcie Wiedzy: Lipiec/Sierpień 2026 (10 min)
    • Działanie: Wykład ekspercki z fizycznymi rekwizytami. Prowadzący pokazuje ciężką, wielką encyklopedię (symbolizującą model tradycyjny FP16 o rozmiarze 54 GB) oraz mały smartfon (symbolizujący skompresowany model PrismML Bonsai z Caltechu o rozmiarze zaledwie 5.9 GB).
    • Przekaz: Tradycyjne AI marnuje prąd, mnożąc gigantyczne ułamki (np. 0.23 * -0.91). Najnowsze modele z tego miesiąca (amerykański Bonsai z Caltechu, chińskie Qwen i DeepSeek Ternary) odrzuciły ułamki. Wróciły do logiki trójwartościowej Łukasiewicza. Ich wagi mają tylko trzy stany: +1, 0 i -1. Nie ma mnożenia. Jest tylko proste dodawanie i odejmowanie.
  • 00:55 – 01:15 | Mega-Gra Ruchowa: „Pojedynek Procesorów: FP16 kontra Bonsai” (20 min)
    • Działanie: Prowadzący dzieli salę na dwa tory wyścigowe. Na końcu obu torów wiszą tarcze z napisem [SUKCES AI].
    • Tor Czerwony (Stare AI / FP16): Bramkami są dorośli zaawansowani z kalkulatorami. Dzieci-tokeny biegną z piłkami (ładunek energii = 10). Podbiegają do bramki, a dorosły krzyczy: „Stop! Pomnóż 10 przez wagę synapsy 0.835!”. Dziecko czeka, dorosły liczy na kalkulatorze. Ruch jest powolny, rwie się, uczestnicy na torze czerwonym są spoceni i zmęczeni.
    • Tor Zielony (Nowe AI / PrismML Bonsai): Bramkami są seniorzy trzymający lekkie, piankowe Kostki Trójstanowe. Dziecko-token podbiega:
      • Jeśli senior pokazuje kostkę [+1] (Zielona): krzyczy „Leć dalej!” (Dodawanie całkowite, brak straty czasu).
      • Jeśli senior pokazuje kostkę [-1] (Czerwona): krzyczy „Odejmij 1 od energii i leć!”.
      • Jeśli senior pokazuje kostkę [0] (Szara): krzyczy „STOP!”. Ta ścieżka w sieci neuronowej zostaje wygaszona (sparsity). Dziecko musi natychmiast zawrócić i szukać innej drogi.
    • Wynik: Tor zielony (Bonsai) przepuszcza 10 razy więcej dzieci w tym samym czasie. Cała sala widzi, jak usunięcie mnożenia i wprowadzenie stanu 0 (ignorowanie) uwalnia potężną prędkość krzemu przy zerowym wysiłku bramek.

CZĘŚĆ IV: TOPOLOGIA CYFROWEGO ROZUMU (01:15 – 01:30)

Cel: Synteza wiedzy, zamknięcie klamry edukacyjnej, ewaluacja międzypokoleniowa.
Ekran centralny: Prowadzący przełącza animację na finałową Fazę 3 (MAPOWANIE_SEMANTYCZNE). Na ekranie punkty stabilizują się w trzy piękne, trójwymiarowe, gęste i plastyczne chmury pojęciowe oznaczone etykietami: JĘZYK NATURALNY, KOD MASZYNOWY, LOGIKA.

  • 01:15 – 01:22 | Wykład Podsumowujący: Jak AI rozumie świat? (7 min)
    • Działanie: Prowadzący wskazuje na wirujące klastry semantyczne na ekranie. Zwraca uwagę na cieniowanie głębi (Z-buffer), pokazując plastyczność i trójwymiarowość kuli.
    • Przekaz: „Zobaczcie na ekran. Dzieci biegające po torach przed chwilą robiły dokładnie to samo, co dzieje się wewnątrz procesora 1.58-bit. Po przejściu przez ten trójstanowy rygor Łukasiewicza, miliony pojęć układają się w przestrzeni. To jest topologia Kazimierza Kuratowskiego z Warszawy. AI nie zna słów – AI zna odległości geometryczne. Słowo 'kawa' i słowo 'filiżanka' w tej przestrzeni leżą tuż obok siebie. Zrozumienie to geometria.”
  • 01:22 – 01:30 | Klamra Międzypokoleniowa i Kawiarniany Finał (8 min)
    • Działanie: Uczestnicy wracają do swoich kawiarnianych stolików, piją resztki napojów.
    • Refleksja: Prowadzący prosi najmłodszych, aby na tablicowych blatach stolików narysowali trzy klastry pojęciowe, które widzą na ekranie. Seniorzy i eksperci pomagają im podpisać osie geometryczne.
    • Słowo na koniec: „Warszawska szkoła matematyczna napisała genialny program dla cywilizacji. Nie mieli komputerów, więc testowali go w kawiarniach. Dzisiaj, w sierpniu 2026 roku, technologia wreszcie dogoniła ich abstrakcję. Dziękuję Wam za wspólne parzenie logiki i rygoru.”
    • QR Code: Prowadzący wskazuje na wyświetlany w rogu ekranu kod QR, który uczestnicy mogą skanować smartfonami, aby pobrać materiały rozszerzające z katalogu (nasze biogramy i analizy matematyczne).

📑 CZĘŚĆ 1: Ściągawka Merytoryczna Prowadzącego (Inżynieryjny Quick-Reference)

🧠 Kluczowe Pojęcia i Daty (Stan na Sierpień 2026)

  • Jan Łukasiewicz (lata 20. XX w.): Twórca logiki wielowartościowej (trójwartościowej). Udowodnił, że zdanie może mieć wartość: 1 (Prawda), 0 (Możliwość/Neutralność), -1 lub 2 (Fałsz). Twórca zapisu przedrostkowego (Łukasiewicza), który eliminuje nawiasy.
  • RPN (Odwrócona Notacja Polska): Zapis postfiksowy (operatory na końcu, np. p q -> r ~ v). Podstawa działania komputera – dane trafiają na tzw. stos pamięci (LIFO – Last In, First Out). Maszyna wykonuje operację na dwóch ostatnich elementach ze stosu.
  • Tradycyjne AI (FP16 / Bfloat16): Reprezentacja wag za pomocą liczb zmiennoprzecinkowych. Wymaga operacji MatMul (Mnożenie Macierzy), która jest koszmarnie prądożerna i blokuje układy GPU. Model 27B w tym formacie zajmuje ponad 54 GB pamięci VRAM.
  • Przełom 1.58-bit (Ternary LLM / Sierpień 2026): Kwantyzacja wag do trzech stanów: .
    • Waga +1: Sygnał przechodzi bez zmian (Dodawanie całkowite: A + X).
    • Waga -1: Sygnał zostaje odwrócony (Odejmowanie całkowite: A - X).
    • Waga 0: Sygnał zostaje zablokowany (Sparsity / Rzadkość). Procesor całkowicie ignoruje to połączenie, oszczędzając czas i prąd.
  • Rynkowi Gracze (Lato 2026):
    • PrismML Bonsai 27B (Caltech, lipiec 2026): Ortodoksyjnie czysty model trójstanowy. Skompresowany z 54 GB do 5.9 GB. Działa w 100% lokalnie na telefonie komórkowym z prędkością 26 tokenów/s.
    • Qwen / DeepSeek Ternary (Chiny): Hybrydy zmasowanej destylacji. Najpierw trenowane w FP16, a potem "wlewane" w formę trójstanową. Ekstremalnie silne w matematyce, ale wymagają nieco więcej pamięci niż czysty Bonsai.
  • Kazimierz Kuratowski & Stefan Mazurkiewicz: Ojcowie topologii. Udowodnili, jak opisywać odległości i ciągłość w abstrakcyjnych przestrzeniach wielowymiarowych. Dzisiejsze klastry AI (Embeddings / Przestrzenie Latentne) to bezpośrednia realizacja ich geometrii punktowej.