Zaczęło się! AI buja kolebką logiki

W świecie, w którym algorytmy piszą wiersze, generują obrazy i programują aplikacje, matematyka wyższa wydawała się ostatnim bezpiecznym bastionem czystego ludzkiego intelektu. Do teraz. Ogłoszona 2 czerwca 2026 roku Deklaracja Leideńska w sprawie Sztucznej Inteligencji i Matematyki (Leiden Declaration on Artificial Intelligence and Mathematics) wyznacza nową, ostrą granicę w relacjach między człowiekiem a maszyną.  Dokument, który wyszedł spod piór grupy 16 wybitnych naukowców, a następnie zosta poparty przez Międzynarodową Unię Matematyczną (IMU), nie jest próbą zakazania technologii. To głęboka, socjologiczno-ekonomiczna analiza zagrożeń, jakie niesie ze sobą niekontrolowana komercjalizacja nauki przez gigantów Doliny Krzemowej.

Nim przejdziecie do lektury tekstu, polecamy Wam lekturę naszego wcześniejszego tekstu o związkach między matematyką a AI:

Czytaj także: Romans AI i królowej nauk. Czy sztuczna inteligencja odkryje wszystkie sekrety matematyki?

Iskra, która wznieciła pożar: dowód Erdősa w zamkniętym pudełku

Bezpośrednim impulsem do sfinalizowania trwających osiem miesięcy prac nad deklaracją stał się niedawny, spektakularny sukces OpenAI. Firma ogłosiła, że jej wewnętrzny, zastrzeżony model AI obalił liczącą blisko 80 lat hipotezę Paula Erdősa dotyczącą odległości jednostkowych na płaszczyźnie. Świat technologii zamarł z zachwytu, ale matematycy zareagowali sceptcyzmem. Dlaczego? Sukces ogłoszono za pomocą efektownego wideo promocyjnego i wpisów blogowych, ale sam kod, dane treningowe oraz mechanizm, w jaki algorytm doszedł do wyniku, pozostały ściśle strzeżoną tajemnicą korporacji.

„Model AI jest zastrzeżony i niedostępny dla nikogo spoza firmy” – skomentował krytycznie dla serwisu Implicator.ai badacz J. Ochigame. „Otrzymujemy błyskotliwe wideo marketingowe, podczas gdy podstawowe informacje potrzebne do oceny naukowej wartości wyniku są trzymane w tajemnicy”.

Pięć plag algorytmicznych według Deklaracji Leideńskiej

Sygnatariusze dokumentu, pod którym podpisy zbiera m.in. jeden z najsłynniejszych żyjących matematyków i zdobywca Medalu Fieldsa, Terence Tao, zidentyfikowali pięć kluczowych zagrożeń dla swojej dyscypliny:

1. Nieweryfikowalne i „niewidzialne” błędy: AI potrafi wygenerować dowody matematyczne, które wyglądają niezwykle przekonująco, lecz zawierają subtelne, niemal niedostrzegalne luki logiczne. Tradycyjny proces recenzji naukowej (peer review) staje się w tym momencie niewydolny.

2. Kradzież własności intelektualnej i brak cytowań: Modele AI masowo przeszukują otwarte repozytoria (takie jak arXiv), „karmiąc się” pracą pokoleń naukowców, a następnie serwują gotowe rozwiązania bez podania jakichkolwiek źródeł czy autorów pierwotnych idei.

3. Nowe nierówności ekonomiczne: Badania matematyczne mogą wkrótce stać się zakładnikiem gigantycznych zasobów obliczeniowych. Naukowcy z biedniejszych uniwersytetów zostaną odcięci od rywalizacji, jeśli dostęp do najnowocześniejszych, komercyjnych narzędzi będzie płatny i reglamentowany.

4. Hype marketingowy zamiast nauki: Ogłaszanie przełomów w komunikatach prasowych, przed ich rzetelną weryfikacją, niszczy autorytet nauki i prowadzi do przeszacowania realnych możliwości AI.

5. Utrata autonomii: Istnieje ryzyko, że kierunki badań zaczną być dyktowane nie przez realne potrzeby poznawcze ludzkości, ale przez to, jakie problemy są „wygodne” do przetworzenia przez algorytmy korporacji inwestujących w AI.

„Matematyka jako czysto ludzkie doświadczenie”

W dyskusji nad deklaracją uderzają tony głęboko humanistyczne i socjologiczne. W obliczu cyfrowej rewolucji naukowcy przypominają, że celem nauki nie jest samo generowanie poprawnych wyników, ale ich zrozumienie.

Niezwykle emocjonalnym i głośnym echem w środowisku odbił się komentarz Petera Scholze, innego genialnego niemieckiego zdobywcy Medalu Fieldsa: „To wspaniała deklaracja, pojawiająca się we właściwym czasie. Celem badań matematycznych jest ludzkie zrozumienie matematyki, dlatego może ona rozwijać się tylko we wspólnocie ludzkich badaczy. (…) Podobnie jak nie chcę, aby moje dzieci były wychowywane przez AI, tak samo rozważam swoje matematyczne pomysły bez użycia AI i ogólnie unikam czytania tekstów generowanych przez sztuczną inteligencję tak bardzo, jak to tylko możliwe” – napisał Scholze na forum akademickim.

Z kolei prof. Ulrike Tillmann, wiceprezes Międzynarodowej Unii Matematycznej, w oficjalnym komunikacie Uniwersytetu w Lejdzie podkreśliła, że przyszłość dyscypliny musi opierać się na „ludzkim osądzie, uczciwych i przejrzystych praktykach oraz wspólnych wartościach”, kończąc manifestem: „Matematyka jest i zawsze powinna pozostać głęboko ludzkim przedsięwzięciem”.

Nadchodzi bitwa w Filadelfii

Deklaracja Leideńska nie jest jednak wyłącznie filozoficznym manifestem – to realne żądanie polityczne i proceduralne. Autorzy wzywają rządy do pilnego dofinansowania publicznej infrastruktury obliczeniowej, aby uniezależnić naukę od kapitału prywatnego, oraz żądają od wydawnictw naukowych wprowadzenia bezwzględnego obowiązku ujawniania, jakie narzędzia AI i jakie zasoby mocy obliczeniowej zostały użyte do stworzenia danej publikacji.

Profesor z Oksfordu, Ursula Martin, określiła na łamach „The New York Times” ten dokument mianem „prowokacji i bodźca do koniecznej debaty”.

Wszystko wskazuje na to, że ta debata osiągnie swój punkt kulminacyjny już za kilka tygodni. Całe środowisko matematyczne przygotowuje się do zbliżającego się Międzynarodowego Kongresu Matematyków (ICM), który odbędzie się pod koniec lipca 2026 roku w Filadelfii. To tam, z tekstem Deklaracji Leideńskiej w ręku i w cieniu kontrowersyjnego dowodu OpenAI, naukowcy spróbują wypracować wiążące, globalne normy prawne i etyczne.

Gra toczy się o całkiem wysoką stawkę: o to, czy reguły gry w najstarszej i najczystszej z nauk będą ustalane na uniwersytetach, czy w gabinetach zarządów technologicznych korporacji.