GPT-5.4 Pro rozwiązał problem matematyczny Erdősa w mniej niż dwie godziny

Model GPT-5.4 Pro firmy OpenAI podobno rozwiązał problem matematyczny Erdősa #1196, który pozostawał otwarty przez wiele lat. Jak donosi The Decoder, sztuczna inteligencja znalazła rozwiązanie w około 80 minut, a kolejne 30 minut zajęło jej przygotowanie pracy w formacie LaTeX.

Przełomowe odkrycie w teorii liczb

Terence Tao, wybitny matematyk, skomentował na forum Erdős Problems, że praca modelu ujawnia wcześniej nieopisane połączenie między anatomią liczb całkowitych a teorią procesów Markowa. "To byłby znaczący wkład w anatomię liczb całkowitych, który daleko wykracza poza rozwiązanie tego konkretnego problemu Erdősa" — napisał Tao.

Kevin Barreto, który jak sam twierdzi, ma wkrótce dołączyć do zespołu AI for Science w OpenAI, zauważył na tym samym forum, że technika łańcuchów Markowa zastosowana przez model była krokiem twórczym, który ludzcy matematycy przegapili pomimo lat pracy nad tym problemem.

Debata o możliwościach AI w nauce

Ta sytuacja jest szczególnie interesująca w kontekście trwającej debaty na temat tego, czy duże modele językowe mogą odkrywać nową wiedzę w matematyce i innych dyscyplinach, która wykracza poza dane punkty nauczone podczas treningu. Ten przykład pokazuje, że nowa, wcześniej nieopisana wiedza może być również ukryta w już znanych punktach danych.

Obecnie trwa formalna weryfikacja rozwiązania zaproponowanego przez GPT-5.4 Pro. Jeśli zostanie potwierdzona poprawność, będzie to kolejny kamień milowy w rozwoju AI w dziedzinie nauk ścisłych.

Problemy Erdősa to zbiór otwartych zagadnień matematycznych sformułowanych przez Paula Erdősa, węgierskiego matematyka, który był jednym z najproduktywniejszych matematyków XX wieku. Problem #1196 pozostawał nierozwiązany przez długi czas, co czyni ten potencjalny przełom jeszcze bardziej znaczącym.