AI rozwiązała problem, z którym matematycy walczyli 80 lat - i nie cieszę się tak, jak powinienem

Krótka odpowiedź dla niecierpliwych: tak, sztuczna inteligencja rozwiązała problem matematyczny otwarty od 80 lat, a środowisko matematyków przeżywa właśnie mieszankę zachwytu i paniki. I ta panika jest ciekawsza niż samo osiągnięcie.

Bo mnie ta historia nie kojarzy się z lękiem o pracę. Kojarzy mi się z czymś bardziej intymnym – z pytaniem, po co w ogóle uprawiamy matematykę.

Wynik to nie to samo co zrozumienie

Matematyka nigdy nie była o odpowiedziach. Była o drodze do nich. Twierdzenie Pitagorasa nie robi na nikim wrażenia dlatego, że działa – działa też kalkulator. Robi wrażenie, bo można je zobaczyć, poczuć logikę, która nie zostawia miejsca na wątpliwość.

Kiedy więc czytam, że maszyna zamknęła hipotezę, nad którą ludzie siedzieli od pokoleń, moje pierwsze pytanie nie brzmi „jak szybko”, tylko „czy ktokolwiek to rozumie”. Rozwiązanie, którego człowiek nie potrafi prześledzić od początku do końca, jest bardziej wyrocznią niż dowodem.

A wyrocznia to coś, w co się wierzy. Matematyka miała być jedyną dziedziną, w której nie trzeba wierzyć – tylko sprawdzić.

Panika, którą rozumiem lepiej niż zachwyt

Dlatego reakcja matematyków wydaje mi się zdrowsza niż entuzjazm technologicznych optymistów. Oni nie boją się, że stracą etat. Boją się, że ich dyscyplina zamieni się w coś, co przypomina korzystanie z czarnej skrzynki.

Znam to z własnego podwórka. Odkąd używam narzędzi AI do pracy, coraz częściej łapię się na tym, że akceptuję wynik, którego sam bym nie wyprowadził. Jest szybko, jest wygodnie – i jest to cichy handel wymienny. Oddaję kawałek rozumienia w zamian za efekt.

W codziennym życiu to znośne. W matematyce to podważa fundament. Bo jeśli dowód staje się kwestią zaufania do modelu, to przestaje być dowodem, a staje się deklaracją.

Nie mam nic przeciwko temu, żeby AI podpowiadała, sugerowała, skracała ślepe uliczki. Martwi mnie moment, w którym przestaniemy pytać „dlaczego to jest prawdą”, bo maszyna i tak już odpowiedziała „że”.

Osiemdziesiąt lat ktoś nie umiał czegoś udowodnić. Może właśnie te osiemdziesiąt lat, a nie sama odpowiedź, było w tym najcenniejsze.