Tag

sztuczna inteligencja

100 artykułów

Matematyzacja myślenia

Matematyzacja myślenia

Esej o latach 1815-1943, gdy logika stała się matematyką. Od algebry Boolea i rachunku rozumowania, przez Fregego, Gödla i Turinga, po model neuronu, który otworzył drogę do komputerów i AI.

21 kwi 202614 min
Marzenie o myślącej maszynie

Marzenie o myślącej maszynie

AI nie narodziła się w Dartmouth. Talos, golemy oraz logika Arystotelesa pokazują, jak powstała idea myślenia jako reguł i symboli, zanim istniały komputery.

19 kwi 202611 min
Kto naprawdę zrobił tę grę, w którą grasz

Kto naprawdę zrobił tę grę, w którą grasz

DLSS 5 ma poprawiać realizm, ale jednocześnie ingeruje w wygląd gry po stronie karty graficznej. Artykuł pokazuje analogię do motion smoothing w TV i pyta, kto naprawdę odpowiada za finalny obraz oraz czy potrzebny jest tryb jak Filmmaker Mode.

16 kwi 20269 min
Maszyna, która udowodniła to, czego nie potrafili matematycy

Maszyna, która udowodniła to, czego nie potrafili matematycy

System AI z Uniwersytetu Pekińskiego rozwiązał hipotezę Andersona dotyczącą pierścieni quasi-zupełnych w około 80 godzin. Jeden agent szukał strategii dowodu, drugi formalizował całość w Lean 4, tworząc 19 tys. linii kodu.

16 kwi 20267 min
Matematyczne granice zgadywania następnego słowa

Matematyczne granice zgadywania następnego słowa

Artykuł wyjaśnia, jak działają modele autoregresyjne i dlaczego nawet mały błąd na token rośnie wykładniczo wraz z długością odpowiedzi. Pokazuje, skąd biorą się halucynacje i czemu nie znikną tylko dzięki większym danym.

13 kwi 20268 min