Mentionsy Mentionsy
MIT Sloan Management Review Polska
MIT Sloan Management Review Polska

Limity AI: #13 A co jeżeli Turing prowadzi na manowce? Komputacyjność a inteligencja

23.10.2025 ·2 godz 5 min

Z rozmowy dowiecie się także jak można kwestionować argument "chińskiego pokoju" stawiany przez Johna Searle'a, kim był Yeshoua Bar-Hillel i na ile jego argumenty dotyczą ograniczeń dużych modeli językowych. Zastanawiamy się również czym jest emergencja i czy to pojęcie coś w ogóle wyjaśnia, jak również komentujemy perspektywy AGI w kontekście niedawnych głośnych wypowiedzi Richarda Suttona oraz publikowanych odkryć zespołu z Pathway. Gościem 13 odcinka "Limitów AI" jest prof. Michał Karpowicz, absolwent Politechniki Warszawskiej, gdzie w 2010 obronił z wyróżnieniem doktorat z informatyki, a w 2020 uzyskał habilitację z informatyki technicznej i telekomunikacji. Przez blisko 20 lat związany z Państwowym Instytutem Badawczym NASK, gdzie był kierownikiem Pionu Systemów Cyberbezpieczeństwa oraz Członkiem Rady Naukowej. Jako visiting professor dwukrotnie wykładał na Wydziale Matematyki MIT. Od czerwca 2024 szef Samsung AI Center Warsaw. Autor pierwszego na świecie matematycznego dowodu na nieeliminowalność tzw. halucynacji.Special Guest: prof. Michał Karpowicz.

Funkcjonujemy w tej przestrzeni znaczeń, interpretacji, niedomówień, czytamy międzyznamianików. Nie jesteśmy logiczni na co dzień. Nie ma takiej potrzeby. Co więcej... samo pojęcie prawdy czy spójności politycznej często nam bardzo przeszkadza w tej komunikacji. Więc jeżeli chcemy konstruować mosty, czy urządzenia, telefony, laptopy, czy reaktory jądrowe, to potrzebujemy. Ale do budowania społeczności kultury... to bardzo przeszkadza. Często to bardzo przeszkadza. Bardzo utrudnia. Wspomniałeś wcześniej, wrzuciłeś, że chiński pokój, bo Serla... To jest argument dla mnie, wiesz, uderzający z to, że to jest jakaś tam fabularyzacja w gruncie rzeczy, argumentu Hillela.

Nie wiem, czy Serl był świadomy. Zresztą ja do Serla chodziłem na seminaria. Ciekawe jest to, że w ogóle się nie udziela jakoś w tych rozmowach. Może po prostu już... jest na emeryturze. Natomiast jego argument ciągle stoi. On pokazuje, że maszyna może policzyć i wygenerować, przejść przez test Turinga w uproszczeniu, nie mając jednocześnie bladego pojęcia w naszym rozumieniu pojęcia, czyli takiego psychologicznego pojęcia, powiedzmy bardziej pragmatycznego, jak wolimy, czyli właśnie odnoszenia do rzeczywistości, bo na gruncie logiki języka pragmatyka jest o regułach odnoszenia znaków do rzeczywistości. Więc ja słyszę też, wiesz, bar Hillela tutaj w tym argumencie Serla. Ty powiedziałeś, że możesz pokazać, gdzie się Serl pomylił, to ja z chęcią się dowiem. Tak. To przypomnijmy ten cały scenariusz z chińskim pokojem.

Mamy pokój, do którego się zamykamy i masz zestaw instrukcji, dostajesz napis w języku chińskim, masz instrukcję, jak to przetłumaczyć. I bardzo dużo czasu. I bardzo dużo czasu, bardzo dużo instrukcji. I na zewnątrz wychodzi tłumaczenie, ale ty wykonujesz ślepą instrukcję, wobec tego nie rozumiesz chińskiego. Ale i tak działają LLM-y, ja rozumiem. No dobra. I teraz jakby to jest cała lista... Ale. Cała lista genialnych chwytów retorycznych i to jest oczywiście to... Dlatego Serl jest klasykiem, bo potrafił taką konstrukcję, taką opowieść zbudować, która jest paliwem dla bardzo ważnych dociekań.

stawia znak zapytania przed taką sugestywnością argumentu Serla, ale ponieważ powiedziałeś o rozumieniu, to przynajmniej jeszcze jedną rzecz poruszmy. Pojawiły się dwa takie na przestrzeni ostatniego roku, to znaczy po raz pierwszy to był jeszcze rok temu artykuł, paper takiego zespołu inżynierów AI w APL-u, w którym między innymi uczestniczy Sami Benio, czyli brat Joshua Benio, Czyli osoba, która dobrze się orientuje w temacie uczenia głębokiego i w ogóle budowania tych systemów, które zrobili bardzo ciekawe dwie rzeczy. Po pierwsze to był argument sprzed roku, gdzie pokazali, że wówczas to był O4 zdaje się, czy w każdym razie wcześniejszy model GPT-a.

Pokazano wszystkie 4 dopasowania. Transkrypcja generowana automatycznie i niesprawdzana ręcznie — może zawierać błędy.