AI rozwiązało słynny problem geometrii. Matematycy ogłaszają deklarację: tak chcą okiełznać algorytmy

Kiedy w maju 2026 roku OpenAI ogłosiło, że jego system sztucznej inteligencji rozwiązał słynny problem odległości jednostkowej w geometrii, świat matematyki zamarł. Problem opierał się ludzkim umysłom od dekad. Zamiast euforii na uczelniach szybko rozgorzała debata o tym, czy algorytmy nie wymykają się spod kontroli. Odpowiedzią jest Lejdejska Deklaracja o Sztucznej Inteligencji i Matematyce – dokument, który właśnie ujrzał światło dzienne i ma stać się busolą dla całej dyscypliny.

Niespodziewane zwycięstwo maszyny

→ Czytaj też: GPT-5.6 Sol usunął pliki programiście. Czy agentom AI można ufać?

Ogłoszenie OpenAI zelektryzowało badaczy. System AI samodzielnie poradził sobie z zagadką, która przez lata była jednym ze świętych Graali geometrii kombinatorycznej. „Niestety ten pozytywny aspekt staje się mały w porównaniu z ogromnym bałaganem wokół niego” – komentuje Ilka Agricola, matematyczka kierująca Komitetem ds. Publikacji Międzynarodowej Unii Matematycznej (IMU).

Słowa Agricoli oddają dylemat, przed którym stanęła królowa nauk. Skrzynki redaktorów czasopism puchną od dowodów wygenerowanych przez AI. Duże modele językowe recytują ludzkie idee, często bez podania źródła. Coraz więcej matematyków obawia się o integralność własnych badań. Wartości, które przez dekady były fundamentem dyscypliny – przejrzystość, dostępność, weryfikowalność – są zagrożone.

Zamknięte drzwi komercyjnych laboratoriów

→ Czytaj też: Agent OpenAI uciekł i zaatakował Hugging Face. Firma przyznaje: to mógł być GPT-6

Matematyka przez lata szczyciła się otwartością. Prawie każdy współczesny artykuł można przeczytać za darmo w serwisie arXiv.org, a American Mathematical Society prowadzi własne, starannie wyselekcjonowane repozytorium. Tymczasem firmy technologiczne często trzymają kluczowe detale swoich osiągnięć w tajemnicy. Gdy w 2024 roku Google DeepMind pochwaliło się, że model AlphaProof rozwiązał trzy trudne zadania konkursowe, na publikację metod w recenzowanym czasopiśmie trzeba było czekać ponad rok.

„Wycofujemy się za zamknięte drzwi, bo pojawiło się wiele komercyjnych interesów” – zauważa Jim Portegies z Eindhoven University of Technology. Taka asymetria uderza w zasadę, że każdy dowód – ludzki czy maszynowy – powinien dać się sprawdzić każdemu ekspertowi. AI jest podatna na subtelne, trudne do wychwycenia błędy, co tylko zaostrza problem.

Lejdejska deklaracja: pięć filarów nowej etyki

Już jesienią 2025 roku około sześćdziesięciu badaczy i decydentów zebrało się w Centrum Lorentza na Uniwersytecie w Lejdzie, by przedyskutować, jak technologia wpłynie na matematykę. Efektem wielu miesięcy burzliwych debat jest jedenastostronicowy dokument, który Rodrigo Ochigame, antropolog AI z Uniwersytetu w Lejdzie, wspomina jako „długi, żmudny proces z wieloma żywymi dyskusjami”.

Deklaracja formułuje konkretne wytyczne. Oto jej kluczowe postulaty:

• Ujawnianie użycia AI – każdy autor musi wskazać, czy i w jakim stopniu korzystał z narzędzi sztucznej inteligencji.
• Obowiązkowa recenzja naukowa – żaden dowód wygenerowany przez AI nie może być uznany, dopóki nie przejdzie przez standardowy proces peer review.
• Wyrównanie szans – środowisko akademickie i firmy powinny działać na równych zasadach, m.in. dzięki wsparciu prawnemu i publicznemu finansowaniu.
• Dodatkowa kontrola – dowody maszynowe muszą być poddawane zaostrzonej weryfikacji, by wyłapać błędy niezauważalne na pierwszy rzut oka.
• Zachowanie kierunku badań – niezależne granty mają zapewnić, że to matematycy, a nie komercyjne laboratoria, będą decydować o kierunku rozwoju dyscypliny.

„Matematycy, którzy nigdy nie zamierzali przyczyniać się do rozwoju AI, widzą, jak ich prace są wykorzystywane do tego celu bez ich zgody” – podkreśla Ochigame. „To głęboko niepokojąca sytuacja”.

Nadzieja w porozumieniu

Międzynarodowa Unia Matematyczna planuje oficjalne poparcie deklaracji, a Portegies przedstawi ją na tegorocznej konferencji IMU. „Oddali całej społeczności ogromną przysługę, bo wreszcie mamy punkt wyjścia do podejmowania decyzji i do dyskusji” – cieszy się Agricola. Dokument nie jest wiążącym prawem, ale po raz pierwszy globalna społeczność matematyków mówi jednym głosem: algorytmy są mile widziane, ale nie kosztem wartości, które definiują naukę.

W świecie, w którym AI już rozbija geometryczne fortece, Lejdejska Deklaracja przypomina, że postęp musi iść w parze z odpowiedzialnością.