OpenAI rozwiązał 80-letni problem matematyczny bez modelu wyspecjalizowanego

Ogólnego przeznaczenia model rozumowania OpenAI właśnie złamał liczącą 80 lat hipotezę z geometrii dyskretnej. System nie był uczony do matematyki. Działa na tej samej architekturze, która redaguje e-maile i pisze Pythona, a we wtorek wytworzył nową rodzinę konfiguracji geometrycznych, którą czterech matematyków zdążyło już zweryfikować.

Problem ma zwodniczo proste sformułowanie. Weźmy n punktów na płaszczyźnie. Ile par z nich może leżeć dokładnie w tej samej odległości od siebie, powiedzmy jedna jednostka? Paul Erdős postawił to pytanie w 1946 r. i zaproponował górne ograniczenie: rzędu n do potęgi (1 plus o(1)), skrótowo „ledwie więcej niż liniowo”. Przez dziesięciolecia najlepsze znane konfiguracje pochodziły z wariantów kwadratowej siatki, a siatka siedziała bardzo blisko tego pułapu. Czynni matematycy traktowali to ograniczenie w gruncie rzeczy jako ścisłe.

Model OpenAI nie zaostrzył ograniczenia. Złamał je. System wytworzył całą rodzinę układów punktów z co najmniej n do potęgi (1 plus δ) parami w odległości jednostkowej, dla pewnego ustalonego δ większego od zera. To nie jest dopracowanie; to kontrprzykład dla głównego twierdzenia hipotezy. Will Sawin, jeden z czterech matematyków, którzy zrewidowali pracę, doprowadził nowy wykładnik do czystego wyrażenia. Thomas Bloom, Melanie Wood i Noga Alon, reszta zespołu sprawdzającego, potwierdzili, że konstrukcja się trzyma.

W metodzie ciekawe jest to, że nie wyszła z wnętrza geometrii. Model przeszedł do algebraicznej teorii liczb, rozszerzając liczby całkowite Gaussa na inne ciała liczb algebraicznych i traktując punkty otrzymanej kraty jako kandydatów na konfiguracje. Ten most, geometria wciągnięta w teorię liczb, był skokiem, który ludzie omijali przez osiem dziesięcioleci. To rodzaj ruchu, który na seminarium matematycznym dostaje powolne skinienie głową i długą ciszę.

Reakcje czynnych matematyków przyszły w ciągu pierwszego dnia. Timothy Gowers, laureat Medalu Fieldsa, nazwał to „pierwszym naprawdę jasnym przykładem SI rozwiązującej naprawdę dobrze znany problem matematyczny”. Alexander Wei, badacz OpenAI, napisał, że wynik jest z tych, które recenzent Annals of Mathematics przyjąłby „bez żadnego wahania”. To ostatnie twierdzenie jest testowalne. Dowód został opublikowany jako PDF, wraz z dokumentem uwag towarzyszących, a szersza społeczność matematyczna już czyta.

Rama, której trzyma się OpenAI, jest taka, że to pierwszy raz, kiedy system SI samodzielnie rozwiązuje znaczący otwarty problem centralny dla pewnej dziedziny matematyki. Słowo „samodzielnie” niesie tu spory ciężar. Model wytworzył konstrukcję; dowód został przesiany, dopracowany i poddany testom przez czterech ludzi matematyków, zanim w ogóle padło jakieś ogłoszenie. To rozróżnienie ma znaczenie, ponieważ OpenAI już tu była.

W październiku 2025 r. firma puściła w obieg twierdzenie, że inny wewnętrzny model rozwiązał dziesięć otwartych problemów postawionych przez Erdősa. W ciągu dni matematycy pokazali, że kilka z owych „rozwiązań” było albo już znanych, albo po prostu błędnych. OpenAI wycofała ogólne stwierdzenie. Ten epizod jest powodem, dla którego ogłoszenie z tego tygodnia zaczyna od nazwisk weryfikujących, a nie od nazwy modelu. Czterej matematycy są gwarancją.

Drugi szczegół, który warto zatrzymać, to jaki rodzaj modelu wyprodukował wynik. OpenAI nie ujawniła nazwy systemu, jedynie to, że jest to ogólnego przeznaczenia model rozumowania, ta sama rodzina, która prowadzi chat, pisze kod i odpowiada na zgłoszenia obsługi klienta. W obiegu nie ma żadnego wariantu wyspecjalizowanego pod matematykę. Ta sama architektura, która obsługuje codzienną konwersację, obsłużyła i to. Wniosek jest taki, że wąskim gardłem matematyki napędzanej SI nie był model strojony pod matematykę. Mogły to być moc obliczeniowa i cierpliwość.

To, że to wąskie gardło pęka, jest właściwą historią. Długo wśród badaczy panowało założenie, że naprawdę oryginalna matematyka będzie wymagać systemów szytych na miarę: dowodzicieli twierdzeń, ram do weryfikacji formalnej, wąskich modeli trenowanych na korpusie dowodów. To, co wylądowało we wtorek, jest dowodem innego rodzaju. Model rozumujący wycelowany w sławny, nierozwiązany, osiemdziesięcioletni problem; mając dość miejsca, by myśleć, wytworzył coś, co Sawin, Bloom, Wood i Alon zgodnie uznali za poprawne. Droga od okna czatu do Erdősa okazała się krótsza niż przypuszczano.

Kilka zastrzeżeń nadal obowiązuje. Model nie jest publicznie dostępny. Niezależne grupy spoza pierwotnego panelu czterech matematyków będą czytać dowód w nadchodzących tygodniach, a pełny proces peer review dla Annals lub innego czasopisma najwyższej półki potrwa miesiące. Wykładnik δ jest mały. Konstrukcja nie rozwiązuje pokrewnego problemu odległości jednostkowych na sferze ani w wyższych wymiarach. Nic z tego nie pomniejsza tego, co wydarzyło się we wtorek. Tylko to lokuje.

Zmienia się oczekiwanie. Rok temu pytanie o SI w matematyce brzmiało, czy systemy kiedykolwiek będą w stanie wytworzyć oryginalne dowody o znaczeniu. Od tego tygodnia pytanie brzmi, który otwarty problem padnie jako następny i czy matematycy weryfikujący dowody będą dalej zbierać uznanie, jakie zebrali tu Alon i jego współpracownicy.

Hipoteza z 1946 r. jest jednym z tych cichych przedmiotów, które czekają na półce, aż właściwa ręka po nie sięgnie. Ręka, która sięgnęła w tym tygodniu, działała na klastrze GPU, nie była uczona do tej roboty, i skończyła zadanie, podczas gdy czterech matematyków patrzyło.

OpenAI rozwiązał 80-letni problem matematyczny bez modelu wyspecjalizowanego

Więcej podobnych

Agent Perplexity na Maca kosztuje 200 dolarów miesięcznie i czyta twoją pocztę

Nowa odsłona serii Touhou w świecie gier mobilnych

Ollama 0.22.1 uruchamia tool calling Gemma 4 na laptopie bez klucza API

Koniec ery krzemu: Chiny ujawniają „LightGen” – procesor świetlny, który rzuca wyzwanie Nvidii i łamie barierę ciepła

Błąd logowania zostawił 70 milionów stron cPanel otwartych dla każdego

Sony A7R VI debiutuje dziś z matrycą stacked 67 MP, 8K30p i korpusem za 4999 dolarów

Dyskusja