AI rozwiązała 80-letni problem matematyczny. Naukowcy w szoku

Wyobraź sobie, że przez 80 lat najjaśniejsze matematyczne umysły świata dobijają się do zamkniętych drzwi. Piszą na nich równania, rysują diagramy, modlą się do bogów abstrakcji. I nagle, pewnego dnia, drzwi otwiera ktoś, kto nawet nie wiedział, że powinien się bać. Sztuczna inteligencja właśnie weszła do jednego z najtrudniejszych pokojów w historii matematyki i spokojnie usiadła przy biurku.

Otwarty problem matematyczny to coś więcej niż zagadka. To wyzwanie rzucone całemu pokoleniu badaczy, często z pokolenia na pokolenie przekazywane jak niedokończona symfonia. Przez osiem dekad kolejne umysły próbowały go rozgryźć, a system AI zrobił to, zamieniając lata ludzkich zmagań w problem obliczeniowy do rozwiązania. Środowisko matematyków słusznie pyta teraz: co to właściwie znaczy dla ich dyscypliny? Czy jesteśmy świadkami narodzin nowej ery dowodzenia twierdzeń, w której maszyna staje się partnerem, a może nawet pionierem?

Potencjał jest olśniewający. Jeśli AI potrafi odblokować problemy, przy których ludzkość utknęła na dekady, otwiera się perspektywa przyspieszonej rewolucji w nauce: od fizyki teoretycznej, przez kryptografię, po biologię obliczeniową. Matematyka jest przecież językiem rzeczywistości, a ktoś właśnie nauczył maszynę mówić w nim płynniej niż niejeden profesor.

Warto jednak przed oklaskami zadać kilka chłodnych pytań. Czy AI rzeczywiście "rozumie" matematykę, czy jedynie niezwykle sprawnie przeszukuje przestrzeń możliwości, której człowiek nie ogarnie wzrokiem? I czy świat, w którym maszyna zastępuje matematyka przy najtrudniejszej pracy, to świat, w którym wychowamy następne pokolenie matematyków, czy ostatnie?

To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryginalnym artykule.