Dwa przełomowe odkrycia AI w matematyce w 2026 roku

W 2026 roku sztuczna inteligencja przekroczyła historyczny próg w czystej matematyce – po raz pierwszy systemy AI samodzielnie dostarczyły znaczących wyników dotyczących otwartych problemów, które przez dekady opierały się wysiłkom ludzkich matematyków. Dwa przełomowe odkrycia wyróżniają się na tym tle: obalenie hipotezy Erdősa o odległościach jednostkowych przez OpenAI w maju oraz kontrprzykład dla hipotezy Jacobiego znaleziony przez Anthropic w lipcu. To nie są kroki milowe – to zmiany paradygmatu, które zapowiadają nową erę współpracy człowieka i AI w badaniach matematycznych.

Dwa przełomowe odkrycia

OpenAI obala hipotezę Erdősa o odległościach jednostkowych (maj 2026)

20 maja 2026 roku OpenAI ogłosiło, że jeden z jego wewnętrznych modeli rozumowania ogólnego przeznaczenia znalazł kontrprzykład dla hipotezy odległości jednostkowych Erdősa, problemu postawionego przez Paula Erdősa w 1946 roku . Hipoteza dotyczyła maksymalnej liczby par punktów oddalonych dokładnie o jednostkę wśród n punktów na płaszczyźnie. Przez 80 lat matematycy uważali, że najlepsza możliwa konfiguracja przypomina z grubsza kwadratową siatkę .

Model OpenAI pokazał, że to przekonanie było błędne. Wygenerował nieskończoną rodzinę konstrukcji punktowych, które osiągają wielomianową poprawę w stosunku do siatki – udowadniając, że dla nieskończenie wielu n liczba par w odległości jednostkowej rośnie szybciej niż n^(1+δ) dla pewnego stałego δ > 0 . Dowód opierał się na zaawansowanej algebraicznej teorii liczb, w tym teorii Gołoda–Szafarewicza i nieskończonych wież pól klasowych – narzędziach, których nikt wcześniej nie powiązał z tym problemem geometrycznym .

Wynik został zweryfikowany przez grupę zewnętrznych matematyków, w tym Thomasa Blooma – tego samego badacza, który wcześniej publicznie zdemaskował fałszywe roszczenie OpenAI . Artykuł towarzyszący, przystosowany dla człowieka, został opublikowany na arXiv . Matematyk z Princeton, Will Sawin, szybko doprecyzował stałą, pokazując, że wykładnik może wynosić co najmniej n^1,014 . Laureat Medalu Fieldsa, Tim Gowers, był jednym z dziewięciu matematyków, którzy zweryfikowali dowód .

Claude Fable 5 od Anthropic znajduje kontrprzykład dla hipotezy Jacobiego (lipiec 2026)

19 lipca 2026 roku matematyk Levent Alpöge, pracownik Anthropic, ogłosił na platformie X, że wykorzystał model Claude Fable 5 do znalezienia kontrprzykładu dla hipotezy Jacobiego – 87-letniego otwartego problemu z algebry geometrycznej, postawionego po raz pierwszy przez Otta-Heinricha Kellera w 1939 roku . Hipoteza, sklasyfikowana jako #16 na liście problemów na następne stulecie z 1998 roku autorstwa laureata Medalu Fieldsa, Stephena Smale'a, głosiła, że odwzorowanie wielomianowe z C^n w C^n ze stałym, niezerowym wyznacznikiem Jacobiego musi być globalnie odwracalne .

Kontrprzykład to niezwykle zwięzłe 216-znakowe odwzorowanie wielomianowe z C³ do C³ z wyznacznikiem Jacobiego identycznie równym -2, które jednak wysyła trzy różne trójki wejściowe do tego samego wyjścia, obalając globalną odwracalność . W ciągu kilku godzin od posta Alpögego matematycy na całym świecie niezależnie zweryfikowali wynik, a formalna weryfikacja w asystencie dowodowym Lean została ukończona w niecałe 24 godziny .

Wybitni matematycy, w tym Terence Tao i Timothy Gowers, pochwalili wynik . Tao opublikował geometryczną analizę kontrprzykładu, a weryfikacja została szeroko potwierdzona w środowisku matematycznym . Dwuwymiarowa wersja hipotezy pozostaje otwarta .

Co te wyniki oznaczają dla przyszłości matematyki

AI potrafi teraz generować prawdziwie nowatorskie dowody

Oba przełomowe odkrycia obejmują głębokie konceptualne skoki, a nie tylko pomoc obliczeniową. Obalenie hipotezy o odległościach jednostkowych wymagało od AI powiązania algebraicznej teorii liczb z geometrią kombinatoryczną – powiązania, którego nie dokonał żaden ludzki matematyk . Kontrprzykład dla hipotezy Jacobiego wymagał skonstruowania subtelnego odwzorowania wielomianowego o specyficznych właściwościach algebraicznych .

Model partnerstwa człowieka z AI okazuje się skuteczny

Wyniki te wskazują na przyszłość, w której AI działa jako kreatywny współpracownik, a nie zastępstwo. W przypadku hipotezy Jacobiego wykwalifikowany matematyk kierował AI i rozpoznał znaczenie jej wyniku . W przypadku OpenAI model działał bardziej autonomicznie, ale nadal wymagał weryfikacji przez człowieka . Ten model partnerstwa pozwala AI eksplorować ogromne przestrzenie poszukiwań, których ludzie nie są w stanie efektywnie przeszukać, podczas gdy ludzie dostarczają intuicji, osądu i weryfikacji.

Tempo przyspiesza gwałtownie

OpenAI ogłosiło później w sierpniu 2026 roku, że ta sama klasa wewnętrznych modeli rozumowania wyprodukowała postępy w 10 głównych problemach matematyki i teoretycznej informatyki, obejmujących geometrię wysokowymiarową, teorię kodowania, teorię grup, algebry operatorów, złożoność kwantową, kryptografię kratową i kombinatorykę ekstremalną . Obserwatorzy opisują „nowy złoty wiek” matematyki napędzany przez AI .

Ważne zastrzeżenia pozostają

Kontrprzykład dla hipotezy Jacobiego dotyczy tylko wymiaru 3 i wyższych – oryginalna hipoteza pozostaje otwarta w wymiarze 2 . Niektóre wyniki nie zostały jeszcze poddane pełnej recenzji w tradycyjnych kanałach, a nie wszystkie roszczenia są w pełni opublikowane . Jednak ogólny kierunek jest jasny: AI przekroczyła próg od asystenta matematycznego do odkrywcy matematycznego, a jej rola w badaniach będzie prawdopodobnie szybko rosnąć.

Szersza perspektywa

Te przełomowe odkrycia z 2026 roku następują po szybkim postępie w matematycznych zdolnościach AI. W lipcu 2025 roku modele AI po raz pierwszy rozwiązały pięć z sześciu problemów na Międzynarodowej Olimpiadzie Matematycznej . Na początku 2026 roku modele osiągały standardy złotego medalu na IMO . Teraz AI produkuje wyniki na granicy badań – rozwiązuje problemy, które definiowały całe kariery.

Jak zauważył matematyk Terence Tao, wynik dotyczący hipotezy Jacobiego stanowi kamień milowy w współpracy człowieka z AI . Model nie działał sam, ale partnerstwo przyniosło wynik, którego ani człowiek, ani maszyna nie mogłyby osiągnąć niezależnie. Ten model – ludzka intuicja kierowana eksploracją AI, weryfikowana przez formalne asystenty dowodowe – może określić przyszłość odkryć matematycznych.