Reasoning model OpenAI obalił hipotezę Paula Erdősa z 1946 roku z dziedziny geometrii dyskretnej. Problem odległości jednostkowych opierał się próbom rozstrzygnięcia przez 80 lat. To pierwsza publikacja wyników matematycznych AI, którą poparli niezależni matematycy: Noga Alon, Melanie Wood i Thomas Bloom opublikowali towarzyszące uwagi potwierdzające oryginalność rozumowania modelu.
Wcześniejsze deklaracje AI w matematyce kończyły się kompromitacjami. W październiku 2025 roku Kevin Weil z OpenAI ogłosił, że GPT-5 rozwiązał 10 problemów Erdősa. Okazało się, że model po prostu odnalazł istniejące już rozwiązania opublikowane wcześniej przez ludzi. Thomas Bloom nazwał wówczas tę deklarację „dramatycznym przekłamaniem". Tym razem ten sam Bloom oraz Alon i Wood publicznie wsparli wynik, podkreślając, że kontrprzykład wskazany przez model jest rzeczywiście nowy.
Reasoning model OpenAI: co to oznacza dla rozwoju AI
Erdős postawił w 1946 roku hipotezę dotyczącą odległości jednostkowych między punktami na płaszczyźnie. Przez dekady była przedmiotem prac wielu matematyków. Model OpenAI nie udowodnił jej, ale ją obalił. Wskazał konstrukcję będącą kontrprzykładem wobec dotychczasowych przewidywań.
„AI pomaga nam pełniej eksplorować katedrę matematyki, którą zbudowaliśmy przez stulecia. Jakie inne ukryte cuda czekają na odkrycie?" — Thomas Bloom (tłumaczenie własne).
Dla firm w Polsce wynik ma znaczenie wykraczające poza ciekawostkę naukową. Pokazuje, że modele rozumujące, czyli generacja po GPT-4o, Claude Sonnet 4.6 czy Gemini 3.5, przesuwają się z poziomu asystenta tekstowego do narzędzi zdolnych rozwiązać autentycznie nowe problemy. Jeśli AI obala hipotezę z 1946 roku, można jej powierzyć trudne zadania analityczne: optymalizację procesów, modelowanie ryzyka czy znajdowanie luk w skomplikowanej logice biznesowej.
Trzeba jednak pamiętać o drugiej stronie. Walidacja przez ludzi nadal jest niezbędna. Różnica między rozwiązaniem znalezionym w archiwum a rzeczywiście nowym wynikiem to przepaść, której sam model nie rozstrzyga. Trzech matematyków potwierdziło ten wynik dopiero po analizie. W zastosowaniach biznesowych oznacza to, że eksperci dziedzinowi zostają w pętli. AI generuje hipotezy i kandydatów na rozwiązania, ludzie oceniają ich prawdziwość.
Źródło: TechCrunch — OpenAI claims it solved an 80-year-old math problem (EN), 20 maja 2026.
