Wewnętrzny model OpenAI rozwiązał trzy otwarte problemy z matematyki, teoretycznej informatyki i fizyki
Zgłoszone przełomy obejmują obalenie hipotezy ETH, dowody dla hipotezy Kakeya i lokalnego wygładzania we wszystkich wymiarach oraz wyniki istnienia teorii Yang-Mills i pełnej QCD.
Wewnętrzny model OpenAI miał rozwiązać trzy otwarte problemy z matematyki, teoretycznej informatyki i fizyki.
Wśród nich model miał obalić hipotezę czasu wykładniczego (ETH) — kluczowe założenie w teorii złożoności obliczeniowej, ściśle związane z problemem milenijnym P ≠ NP.
ETH mówi, że problemu spełnialności formuł boolowskich nie można rozwiązać znacznie szybciej niż przez pełne przeszukiwanie. Od dziesięcioleci założenie to służyło jako podstawa wyników w teorii grafów, biologii obliczeniowej, bazach danych, geometrii i innych dziedzinach.
Na ETH opiera się setki prac. Jeśli ETH jest fałszywa, pytania takie jak «jak dużo szybciej można jeszcze rozwiązywać te problemy?» ponownie się otwierają.
Wynik jest na tyle istotny, że sprawdzi go grupa pod kierunkiem Russella Impagliazzo i Ramamohana Paturiego — naukowców, którzy sformułowali ETH. OpenAI obiecuje też sfinansować konferencję poświęconą analizie rezultatu.
Dwa inne ważne wyniki:
- Hipoteza Kakeya i lokalne wygładzanie. Chodzi o fale skupiające się w jednym punkcie. Hipoteza Sogge’a z 1991 roku mówi, że najsilniejsze skupienie nie może trwać długo. Wynikają z niej hipoteza Kakeya oraz hipoteza restrikcji Stein.
To jeden z centralnych problemów analizy harmonicznej. Nad nią pracowały przez dziesięciolecia wybitne matematyczki i matematycy, ale dotąd dowody istniały tylko dla niskich wymiarów, zwykle dwóch lub trzech. Model OpenAI miał podać dowód dla dowolnego wymiaru, a tym samym automatycznie zamknąć hipotezy Kakeya i Stein we wszystkich wymiarach.
- Istnienie QCD i teorii Yang-Millsa. Model miał ściśle dowieść istnienia teorii Yang-Millsa. To część jednego z siedmiu problemów milenijnych. Miał też dowieść istnienia pełnej QCD, w której do gluonów dodano kwarki, oraz teorii ujednoliconej obejmującej cząstki Modelu Standardowego. Rezultat przeanalizuje grupa pod kierunkiem noblisty Davida Grossa.
Dzieje się coś niezwykłego.
Dlaczego to ważne
AnalizaJeśli wynik zostanie potwierdzony, może zmienić fundamentalne granice złożoności algorytmów, otworzyć na nowo duże programy badawcze w analizie harmonicznej i wpłynąć na status niektórych problemów milenijnych.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami
Powiązane w ekosystemie
Praktyczne poradniki, kluczowa terminologia i skille agentów
OpenAI prezentuje cztery wyniki naukowe uzyskane dzięki eksperymentalnemu modelowi AI
Eksperymentalny model AI OpenAI, niedostępny dla szerokiej publiczności, doprowadził do dowodów i obalenia hipotez w matematyce, informatyce, fizyce oraz teorii Yang–Millsa.
OpenAI udostępnia GPT-6.1 Terra: wydajność zbliżona do Sol, połowa ceny i szybsze kodowanie
GPT-6.1 Terra niemal dogania GPT-6.1 Sol w benchmarkach, ale jest dwa razy tańsza, z naciskiem na rozumienie obrazów, obsługę komputera i bardziej naturalny tekst.
OpenAI GPT (Flagowe modele z serii GPT)
Główna, uniwersalna linia dużych modeli językowych od OpenAI (GPT-4, GPT-4o). Optymalizowana pod kątem złożonej analizy tekstu, programowania, kreatywności oraz codziennej pracy intelektualnej.
Część II. Architektura agentów AI: od modelu do pamięci i narzędzi
Głęboka analiza inżynierska: tokenizacja, cache KV, determinizm próbkowania, stos treningowy, kwantyzacja, inżynieria kontekstu, stos bezpieczeństwa, produkcyjny RAG, ReAct oraz systemy multiagentowe typu swarm.
Modele Frontier
Najsilniejsza klasa sztucznej inteligencji na czele światowych badań (Claude 3.7 Sonnet, OpenAI o3/GPT-4.5, Gemini 2.0 Pro), wyznaczająca granice współczesnych możliwości w zakresie rozumowania, autonomii i programowania.
Część I. Architektura agentów AI: fundamentalne elementy
Dziesięć fundamentalnych elementów współczesnego agenta: taksonomia modeli, pętla runtime, techniki promptowania, destylacja, umiejętności (skills), pamięć, wywoływanie funkcji oraz ekonomia jednostkowa.