OpenAI ogłosiło, że jego nowy model rozumowania dostarczył oryginalny dowód matematyczny obalający słynne nierozwiązane hipotezy z geometrii postawione po raz pierwszy przez Paula Erdősa w 1946 r. Osiągnięcie to jest następstwem kontrowersyjnego twierdzenia wygłoszonego przez byłego wiceprezesa OpenAI Kevina Weila siedem miesięcy temu, kiedy oświadczył w X, że GPT-5 znalazł rozwiązania dziesięciu wcześniej nierozwiązanych problemów Erdős, a także postęp w zakresie jedenastu innych. Później wyjaśniono, że GPT-5 w rzeczywistości nie rozwiązał tych problemów, ale zidentyfikował istniejące rozwiązania w literaturze.
Rywale w dziedzinie sztucznej inteligencji, w tym Yann LeCun i dyrektor generalny Google DeepMind Demis Hassabis, skrytykowali wcześniejsze twierdzenie, co skłoniło Weila do usunięcia swojego postu. Zaktualizowane oświadczenie OpenAI zawierało uwagi wybitnych matematyków, takich jak Noga Alon, Melanie Wood i Thomas Bloom, którzy poparli obalenie tego dowodu i nazwali wcześniejsze wypowiedzi Weila „dramatycznym wprowadzeniem w błąd”.
OpenAI stwierdziło, że przez prawie 80 lat matematycy wierzyli, że optymalne rozwiązania tej hipotezy przypominają kwadratowe siatki. Nowy model podobno odkrył zupełnie nową rodzinę konstrukcji, które przewyższają to długo utrzymywane przekonanie. Według OpenAI ten przypadek jest pierwszym przypadkiem, w którym sztuczna inteligencja samodzielnie rozwiązuje znaczący otwarty problem matematyczny.
Dowód wywodzi się z modelu rozumowania ogólnego przeznaczenia, a nie z systemu dostosowanego do matematyki, co podkreśla zdolność sztucznej inteligencji do zarządzania złożonymi zadaniami rozumowania i łączenia pomysłów z różnych dziedzin. OpenAI podkreśliło potencjalne konsekwencje tego rozwoju dla biologii, fizyki, inżynierii i medycyny.
Matematyk Thomas Bloom zauważył, że sztuczna inteligencja ułatwia głębsze zgłębianie matematyki, stawiając pytanie, jakie inne znaczące odkrycia mogą nas czekać. „Sztuczna inteligencja pomaga nam pełniej eksplorować katedrę matematyki, którą budowaliśmy przez stulecia” – powiedział.
