TECHNOLOGIE

AI rozwiązał 78-letni problem matematyczny – zaskoczył ekspertów

Analiza

W 1946 roku matematycy zaczęli pracować nad hipotezą dotyczącą konfiguracji punktów w przestrzeni geometrycznej, znanej jako problem Einsteina-Szücsa. Chodziło o to, czy każdy zbiór punktów o określonych własnościach musi zawierać pewien geometryczny wzorzec. Przez dziesięciolecia temat pozostawał nierozwiązany, pomimo pracy wybitnych specjalistów. Teraz okazuje się, że językowy model AI – ChatGPT – pomógł znaleźć kontrprzykład falsyfikujący tę hipotezę. Choć AI nie działał samodzielnie, współpraca z naukowcami otwiera nowe horyzonty w matematyce eksperymentalnej.

Kontekst i Tło

Odkrycie pokazuje, że sztuczna inteligencja może wspierać naukę nie tylko w analizie danych, ale także w tworzeniu nowych idei teoretycznych. Choć AI nie zastąpi matematyków, jego rola jako narzędziu kreatywnemu rośnie. Przełom sugeruje, że problemy uznawane za zbyt abstrakcyjne dla automatyzacji mogą być częściowo dostępne dla modeli językowych. To nowa era współpracy człowieka i maszyny w nauce fundamentalnej. Odpowiada to też na pytania o granice kreatywności algorytmów.

Komentarz Redakcji

Kto by pomyślał, że językowy model, który pisał wypracowania o zimnej wojnie, rozwiąże problem, nad którym głowili się profesorowie? Teraz matematycy mogą albo się ucieszyć – albo zacząć obawiać się konkurencji od botów.