Matematycy i AI kontra najtrudniejsze zagadki nauki

Matematyka na Wysoką Stawkę

Jest coś niezwykłego w kulturze rozwiązywania problemów matematycznych. Matematycy nie przypadkiem natykają się na te hipotezy — polują na nie, są nimi obsesyjnie pochłonięci, a czasem zdobywają Medal Fieldsa za ich udowodnienie. Im dłużej problem opiera się dowodowi, tym większy prestiż przynosi jego rozwiązanie.

W czerwcu wydarzyło się coś niezwykłego. Grupy z Londynu i Berkeley zebrały się, by stworzyć nową listę 50 problemów z jednym kluczowym warunkiem: każdy musi być weryfikowalny automatycznie. To nie jest tylko porządek akademicki — to pomost między ludzką intuicją a weryfikacją maszynową, tworzący ramy do prawdziwej współpracy AI i matematyków.

Yang-Hui He, matematyk z London Institute for Mathematical Sciences, przyniósł na jedno z warsztatów swojego małego syna. Pod czujnym okiem dziecka pochłaniającego ciasto, matematycy wspólnie opracowywali problemy z teorii węzłów, algebry, topologii i teorii liczb. Jest w tym obrazie coś cudownie ludzkiego — wiekowa tradycja matematyczna spotyka się z następnym pokoleniem.

Problemy, Które Nie Dają Matematykom Spać

Lista czyta się jak kolekcja największych matematycznych zmagań. Oto kilka, które się wyróżniają:

Suma Trzech Sześcianów

Co się dzieje, gdy próbujemy wyrazić liczbę jako sumę trzech sześcianów? Równanie x³ + y³ + z³ = k dręczy matematyków od dziesięcioleci. W 2020 roku Andrew Booker i Andrew Sutherland rozwiązali przypadek dla k=42, zużywając 1,3 miliona godzin obliczeniowych na volonterskich komputerach domowych. Następny cel? 114. Problem? Najmniejsze rozwiązania prawdopodobnie mają około 30 cyfr — rozwiązanie metodą siłową może kosztować 100 milionów dolarów lub więcej.

Dowód Irasjonalności w Stylu Apéry'ego

Liczby niewymierne — ułamki dziesiętne, których nie da się wyrazić czystymi ułamkami — kryją głębokie sekrety. Choć pi i √2 są znanymi przykładami, dowodzenie niewymierności jest niezwykle trudne. Udowodnienie, że pi jest niewymierne, zajęło dwa tysiąclecia. W 1978 roku Roger Apéry wykazał, że ζ(3) (suma 1/n³) jest niewymierna, stosując tajemniczą technikę „kanapkowania". Gdy zapytano go, jak znalazł dowód, Apéry miał powiedzieć, że znalazł go w doniczce. Ta tajemnica pozostaje nierozwiązana do dziś.

Hipoteza Samotnego Biegacza

Oto problem brzmiący niemal fantazyjnie: umieść biegaczy na okrągłym torze, każdy biegnący z własną, stałą prędkością. Hipoteza przewiduje, że w pewnym momencie każdy biegacz znajdzie się w maksymalnej odległości od wszystkich innych — swój „najsamotniejszy" moment. Łatwy do sformułowania, diabelsko trudny do udowodnienia.

AI Wchodzi do Gry

Najbardziej fascynującym aspektem tego projektu jest jego powiązanie z sztuczną inteligencją. Epoch AI zleciło stworzenie listy specifically po to, by mierzyć postępy AI. A timing jest ciekawy — OpenAI niedawno ogłosiło rozwiązanie problemu Naviera-Stokesa, jednego z siedmiu problemów milenijnych wartych milion dolarów każdy.

Pod koniec września kilka problemów z nowej listy zostało rozwiązanych, choć oficjalna kolekcja wciąż kipi od wyzwań. OpenAI ogłosiło, że ich niewydany wewnętrzny model AI rozwiązał ponad 100 otwartych pytań, choć nie wiadomo, ile z nich znajduje się na tej konkretnej liście.

Dlaczego To Ma Znaczenie dla Świata Technologii

Możesz się zastanawiać, co wiekowe hipotezy matematyczne mają wspólnego z nowoczesnym tworzeniem oprogramowania czy cloud hostingiem. Znacznie więcej, niż myślisz.

Po pierwsze, rozwiązywanie problemów matematycznych napędza innowacje obliczeniowe. Podejście siłowe do „sumy trzech sześcianów" dla k=42 wymagało rozproszonego przetwarzania na tysiącach volonterskich maszyn — to zwiastun nowoczesnej infrastruktury chmurowej.

Po drugie, przecięcie AI i weryfikacji formalnej dotyka każdego aspektu niezawodności oprogramowania. Gdy matematycy nalegają, by problemy były „automatycznie sprawdzalne", praktykują to, co inżynierowie oprogramowania nazywają metodami formalnymi — te same zasady, które czynią bezpieczne systemy godnymi zaufania.

Po trzecie, i może najważniejsze, duch mierzenia się z niemożliwymi problemami jest dokładnie tym, co napędza innowacje technologiczne. Czy rozwiązujesz Hipotezę Riemanna, czy budujesz kolejną skalowalną platformę hostingową — podejście jest podobne: określ ograniczenia, znajdź eleganckie rozwiązania i zweryfikuj swoją pracę.

Współpraca środowiska matematycznego z organizacjami AI reprezentuje nowy rozdział w odkryciach. Te 50 problemów to nie tylko akademickie ciekawostki — to punkty odniesienia dla partnerstwa człowiek-AI w intelektualnych poszukiwaniach. A w erze, gdy budujemy narzędzia wspomagane przez AI i platformy vibe codingowe, obserwowanie, jak AI mierzy się z najtrudniejszymi wyzwaniami matematyki, daje nam wgląd w przyszłość, którą tworzymy.

Tajemnica doniczki pozostaje nierozwiązana. Ale gdzieś tam AI może być coraz bliżej zrozumienia, jak Apéry znalazł swój dowód.