Matematyka za Piwo i Gęś

MODUŁ 6: "KAWIARNIA SZKOCKA. MATEMATYKA ZA PIWO I GĘŚ"

Tytuł: Lwów 1935. Gdzie padły pytania na których stoi AI
Czas: 90min | Cel: Poczuć że matematyka to sport, a problem to waluta

REKWIZYTY I WIZUALIZACJE

Rekwizyt: Gruba "Księga Szkocka" - notes A3 oprawiony jak księga. Kelnerka/ktoś z ekipy.
Rekwizyt: Pluszowa "żywa gęś" na półce.
Wizualizacja 1: Zdjęcia: Kawiarnia Szkocka, Banach, Ulam, Steinhaus, Mazur.
Wizualizacja 2: Animacja Automatu Komórkowego Ulama - protoplasta Reguły 110.
Wizualizacja 3: Monte Carlo - rzut 10000 kropek w kwadrat z kołem. Liczy PI.
Dźwięk: Cichy gwar kawiarni w tle przez cały moduł.

STRUKTURA 90 MINUT

[00:00 - 05:00] SCENA 1: WEJŚCIE DO KAWIARNI. COLD OPEN

Sala ciemna. Puszczasz gwar kawiarni. Na ekranie zdjęcie Kawiarnia Szkocka 1936.

Trener wchodzi z "Księgą Szkocką" pod pachą i siada na krześle jak przy stoliku.

TRENER: cicho "Lwów. 1935. Godzina 19:00.
Tu nie ma profesorów. Tu są gracze."
Stuka w księgę "To jest Księga Szkocka. Tu się płaciło problemami."
Podnosi głos "Witamy w miejscu gdzie narodziła się połowa matematyki XX wieku. I automaty komórkowe które dziś trenują AI."

[05:00 - 20:00] BLOK 1: GOSPODARZ. STEFAN BANACH 05-20

Wizualizacja: Zdjęcie Banacha na ekranie.

TRENER: "Stefan Banach. 43 lata. Bez doktoratu. Król."
Dorobek 1: Przestrzenie Banacha [05:00 - 10:00]
"Wymyślił nieskończone wymiary. Żeby opisać funkcję jak punkt.
Dziś: Bez przestrzeni Banacha nie ma Netflixa. To w nich siedzą embeddingi i sieci neuronowe.
On wymyślił 'przestrzeń' w której żyje AI."
Rysuje na tablicy: oś X, oś Y, oś Z... i pisze "oś 1000000"

Dorobek 2: Twierdzenie o punkcie stałym [10:00 - 15:00]
"Jak potrząśniesz mapą i położysz ją na stół, to zawsze 1 punkt będzie nad sobą.
Dziś: To jest dowód że każda sieć neuronowa ma 'rozwiązanie'. Że da się ją wytrenować."
Pokaz: Bierzesz mapę miasta. Gnieciesz. Kładziesz. "Tu." wskazuje

Dorobek 3: Styl [15:00 - 20:00]
"Pracował tylko w kawiarni. Mówił: 'Dobre twierdzenia rodzą się między 7 a 9 wieczorem, przy piwie'."
Pauza "Umierał w 1945. Ostatnie słowa: 'Trochę szkoda'."

[20:00 - 35:00] BLOK 2: HAZARDZISTA. STANISŁAW ULAM 20-35

Wizualizacja: Zdjęcie młodego Ulama + animacja Automatu Komórkowego.

TRENER: "Stanisław Ulam. 26 lat. Wyjechał do Ameryki. I zmienił wojnę."
Dorobek 1: Metoda Monte Carlo [20:00 - 26:00]
"Problem: Jak policzyć objętość bomby atomowej? Równania za trudne."
"Rozwiązanie Ulama: Rzućmy 10000 razy kostką. Na ślepo."
WIZUALIZACJA: Na ekranie 10000 kropek leci w kwadrat z kołem. Licznik liczy PI.
"Trafienia / wszystkie = PI. Bez wzoru. Na głupiej sile."
Dziś: Tak trenuje się GPT. Tysiące losowych prób. To jest DNA AI.

Dorobek 2: Automaty Komórkowe [26:00 - 32:00]
"Ulam + von Neumann: Co jeśli świat to szachownica? I każda kratka patrzy na sąsiada?"
WIZUALIZACJA: Reguła 110. Z 1 kropki rośnie chaos.
"To jest protoplasta Gier w Życie Conwaya. Protoplasta sieci neuronowych.
Proste reguły = złożone życie."

Dorobek 3: Bomba H [32:00 - 35:00]
"Obliczył z Tellerem jak odpalić bombę wodorową.
Z Księgi Szkockiej prosto do Los Alamos."

[35:00 - 50:00] BLOK 3: NAUCZYCIEL. HUGO STEINHAUS 35-50

Wizualizacja: Zdjęcie Steinhaus + zdjęcie Księgi.

TRENER: "Hugo Steinhaus. Odkrywca Banacha. 'Znalazłem Banacha na ławce w parku'."
Dorobek 1: Księga Szkocka [35:00 - 42:00]
"To był jego pomysł. Gruby notes u kelnera.
Zasada: Problem wpisany = problem publiczny. Kto rozwiąże, bierze nagrodę."
Otwiera "Księgę" "Tu są 193 problemy. Niektóre nierozwiązane do dziś."

Dorobek 2: Teoria gier i sprawiedliwy podział [42:00 - 47:00]
"Wymyślił jak podzielić ciasto na 3 osoby żeby każdy był zadowolony.
Dziś: To są algorytmy aukcyjne, podział zasobów w chmurze."
Pokaz: 3 osoby z sali. Dajesz im czekoladę. "Podzielcie. Sprawiedliwie."

Dorobek 3: Matematyka stosowana [47:00 - 50:00]
"On pierwszy powiedział: Matematyka ma służyć inżynierom. Nie tylko bogu."

[50:00 - 65:00] BLOK 4: ARTYSTA PROBLEMÓW. STANISŁAW MAZUR 50-65

Wizualizacja: Zdjęcie Mazura + pluszowa gęś na stole.

TRENER: podnosi gęś "Problem 153. Stanisław Mazur. 1936."
"Postawił problem o bazach w przestrzeniach Banacha.
Nagroda: ŻYWA GĘŚ."
Cisza
"Rozwiązano go w 1972. Po 36 latach. Per Enflo dostał gęś. Kurierem z Polski."

Dorobek 1: Gry matematyczne [50:00 - 57:00]
"Mazur wymyślał problemy jak zagadki. Żeby bolały."
Przykład: "Czy można przeciąć pomarańczę i złożyć 2 pomarańcze? Tak. Paradoks Banacha-Tarskiego."

Dorobek 2: Topologia [57:00 - 62:00]
"Zajmował się kształtami których nie da się narysować. Dziurami.
Dziś: Topologia danych. To jak AI 'widzi' kształt chmury punktów."

Dorobek 3: Duch [62:00 - 65:00]
"Mówił: 'Problem jest ważniejszy od rozwiązania'.
I miał rację. Bo problem 153 dał nam 50 nowych teorii."

[65:00 - 85:00] WARSZTAT: "WPISZ SIĘ DO KSIĘGI" 65-85

Cel: Każdy ma poczuć że może postawić problem.

Zasady:

Dajesz każdemu kartkę. "Masz 10 minut. Napisz 1 problem. Może być głupi."
Przykłady na tablicy: "Czy da się policzyć myśli?" "Ile bitów ma miłość?"
Po 10 min: 5 osób czyta na głos. Wrzucamy do "Księgi".
Debrief [80:00 - 85:00]:
> TRENER: "Ulam postawił problem Monte Carlo przy piwie.
> Dziś trenuje na tym cały świat.
> Twój problem może być wart miliard za 50 lat."

[85:00 - 90:00] ZAMKNIĘCIE. DZIEDZICTWO 85-90

Trener zamyka "Księgę".

TRENER: "1939. Wojna. Kawiarnia zamknięta. Ludzie rozjechali się po świecie."
CO ZOSTAWILI AI:
Banach = przestrzeń do życia.
Ulam = losowość i automaty.
Steinhaus = matematyka dla ludzi.
Mazur = wartość problemu.
PUENTA: "Oni nie budowali komputerów. Oni budowali pytania.
A komputer to tylko maszyna do odpowiadania."
Zadanie do Księgi: "Wróć do domu i przez tydzień zapisuj 1 problem dziennie."
QR: "Zeskanuj. Zobacz skany prawdziwej Księgi Szkockiej. Problem 153 jest na stronie 43."
Next: "Moduł 7: FRAKTALE. Geometria która zmieściła się w 1 wzorze."

3 ZASADY REŻYSERSKIE

Gwar w tle non-stop. Ludzie mają czuć że są w kawiarni, nie na wykładzie.
Gęś na widoku cały czas. To jest kotwica emocjonalna. Pytania będą tylko o nią.
Każdej postaci 10-15min + 1 'DZIŚ'. Inaczej to będzie historia. A ma być o AI.