OpenAI twierdzi, że jego nowy model rozumowania wyprodukował oryginalny dowód matematyczny obalający słynną nierozwiązaną hipotezę geometryczną postawioną przez Paula Erdősa w 1946 roku. Jeśli właśnie uniosły ci się brwi, nie jesteś sam – to nie pierwszy raz, kiedy OpenAI wysuwa tak śmiałe twierdzenie. Siedem miesięcy temu były wiceprezes Kevil Weil opublikował na X, że „GPT-5 znalazł rozwiązania 10 (!) wcześniej nierozwiązanych problemów Erdősa i poczynił postępy w 11 innych”. Spoiler: GPT-5 tak naprawdę ich nie rozwiązał; po prostu odkrył na nowo istniejące rozwiązania, które już były w literaturze. Po tym nastąpiły drwiny ze strony rywali, takich jak Yann LeCun i dyrektor generalny Google DeepMind Demis Hassabis, a Weil szybko usunął swój przedwczesny post.
Tym razem OpenAI twierdzi, że nie powtórzyło tego samego błędu. Wraz z ogłoszeniem firma opublikowała towarzyszące uwagi matematyków Nogi Alona, Melanie Wood i Thomasa Blooma – który prowadzi stronę Erdos Problems i wcześniej nazwał post Weila „dramatycznym przeinaczeniem”. „Przez prawie 80 lat matematycy wierzyli, że najlepsze możliwe rozwiązania wyglądają mniej więcej jak kwadratowe siatki” – napisało OpenAI na X. „Model OpenAI obalił teraz to przekonanie, odkrywając zupełnie nową rodzinę konstrukcji, które działają lepiej”.
Firma twierdzi, że jest to „pierwszy raz, kiedy AI samodzielnie rozwiązało ważny otwarty problem centralny dla dziedziny matematyki”. Dowód pochodził z nowego ogólnego modelu rozumowania, a nie systemu specjalnie zaprojektowanego do matematyki – co OpenAI uważa za znaczące, ponieważ oznacza, że AI może teraz utrzymywać długie, trudne łańcuchy rozumowania i łączyć pomysły z różnych dziedzin. Podobno ma to implikacje dla biologii, fizyki, inżynierii i medycyny. „AI pomaga nam pełniej eksplorować katedrę matematyki, którą zbudowaliśmy przez wieki” – powiedział Bloom. „Jakie inne niewidzialne cuda czekają w kuluarach?”