Maszynowe dowody i ludzki kryzys: Czy sztuczna inteligencja odbierze matematyce duszę?

Świat matematyki teoretycznej, tradycyjnie uważany za ostatni bastion czystego ludzkiego intelektu, przeżywa obecnie wstrząs. W maju 2026 roku OpenAI opublikowało kontrprzykład do „hipotezy jednostkowych odległości”, obalając hipotezę z zakresu geometrycznej teorii grafów, która pozostawała nierozwiązana od 1946 roku. To wydarzenie stało się katalizatorem zmian, których tempo zaskoczyło nawet największych optymistów. Dziś modele AI nie tylko znajdują błędy w wieloletnich założeniach, ale stają się pełnoprawnymi partnerami w procesie badawczym.

Dlaczego to ważne właśnie teraz? Sztuczna inteligencja wkracza w obszary, które przez wieki uchodziły za wyłącznie ludzką domenę, zmuszając naukowców do przedefiniowania metodologicznych fundamentów dyscypliny. Według raportów z The Decoder, AI potrafi już samodzielnie generować dowody i rozstrzygać, czy dane twierdzenie jest w ogóle dowodliwe, co zmienia matematykę z rzemiosła w naukę sterowaną algorytmicznie.

Koniec ery rzemiosła, początek dyrekcji

Abhishek Saha, profesor matematyki na Queen Mary University of London, porównuje obecne możliwości modeli AI do pracy „solidnego i niestrudzonego doktoranta”. W swoich eksperymentach z modelem GPT-5.5 Pro zauważył, że rutynowe zadania, które dawniej zajmowały mu całe tygodnie, teraz są kwestią godzin. Zmienia to fundamentalnie rolę naukowca. Saha zauważa, że matematyk przestaje być muzykiem grającym w orkiestrze, a staje się jej dyrygentem. Jednak ta transformacja budzi opór. Saha przewiduje głęboki podział w środowisku akademickim: na tych, którzy zaadaptują nowe narzędzia, oraz na „sceptyków do samego końca”, porównując tych drugich do ludowego bohatera Johna Henry’ego, który zginął, próbując prześcignąć młot parowy.

Złoty wiek czy przeładowanie dowodami?

Timothy Gowers, wybitny matematyk i laureat Medalu Fieldsa, już w 2000 roku przewidywał nadejście czasów, w których maszyny przejmą żmudne weryfikacje. Dziś, gdy jego prognozy stają się rzeczywistością, Gowers przyznaje, że uczucie, gdy AI rozwiązuje problem za pierwszym podejściem po tym, jak on sam poświęcił temu dni pracy, jest „dziwne i mało przyjemne”. Jego największą obawą jest jednak erozja kultury matematycznej. Jeśli literatura fachowa zostanie zalana tysiącami dowodów wygenerowanych przez maszyny, może zabraknąć ludzi zdolnych do ich faktycznego zrozumienia i syntezy.

Terence Tao, jeden z najwybitniejszych żyjących matematyków, zachowuje ostrożny optymizm. Porównuje obecną sytuację do kryzysu fundamentów matematyki z początku XX wieku. Jego zdaniem stoimy u progu „przeładowania dowodami”. Problem nie polega już na tym, czy da się coś udowodnić, ale na tym, które z tych rozwiązań są istotne. Tao, który sam wykorzystuje AI do pisania kodu, uważa, że nadchodzące lata wymuszą stworzenie nowej infrastruktury współpracy z technologią.

Granice krzemowej inteligencji

Mimo sukcesów w teorii grafów, AI wciąż odbija się od ściany w najbardziej prestiżowych kategoriach. Testy przeprowadzone przez grupę Epoch AI w ramach benchmarku „FrontierMath” pokazują, że maszyny nie rozwiązały jeszcze ani jednego problemu zakwalifikowanego jako „przełom”. Sześć pozostałych problemów milenijnych, za których rozwiązanie Clay Mathematics Institute oferuje milion dolarów, pozostaje poza zasięgiem algorytmów. Choć badacze z OpenAI wierzą, że zwiększenie mocy obliczeniowej zmieni ten stan rzeczy, na razie intuicja wyższego rzędu pozostaje domeną człowieka.

Duchowa pustka w bibliotece Babel

Najbardziej radykalny głos w dyskusji należy do Kirwina Hampshire’a, autora eseju „Ciemna noc matematyki”. Hampshire odrzuca argument, że matematycy powinni po prostu cieszyć się z nowych narzędzi. Dla niego matematyka to doświadczenie metafizyczne. Porównuje on obecną sytuację do opowiadania Borgesa o Bibliotece Babel – po co autor ma pisać arcydzieło, skoro demoniczny bibliotekarz może wygenerować milion jego wariacji w sekundę? Hampshire postrzega Deklarację z Leidy w sprawie AI i matematyki nie jako zbiór zasad, ale jako „stłumiony krzyk” profesji, która traci swoje duchowe uzasadnienie.