OpenAI bejelenti, hogy rendszerei három új tudományos eredményt hoztak létre: egy általános bizonyítást a harmonikus analízis területén (a local smoothing tételre, ennek következményeként a Kakeya- és Stein-féle restriction-tételekre), egy cáfolatot a számítástudományban az Exponential Time Hypothesis (ETH) állítására, valamint létezés-bizonyításokat bizonyos négy dimenziós kölcsönható kvantumtérelméletekre (beleértve a Yang–Mills elmélet létezését és a QCD-t). A közreadási folyamatban OpenAI külső szakértőket kért fel „shepherd” szerepre: ezek a szakemberek segítik a közösségi ellenőrzést, magyarázatok és leírások elkészítését, és eltérő közreadási stratégiákat javasoltak a három eredményhez.
A három eredmény közreadási megközelítései
A szakértők három különböző stratégiát javasoltak:
-
A matematika eredménynél az AI-kimenet nyilvános közzététele mellett döntöttek, hogy a kutatók szabadon szerveződhessenek a részletes megértéshez. OpenAI az AI természetes nyelvű leírását és a Lean-formalizációt is publikálta GitHubon.
-
A számítástudományi eredménynél külső együttműködő csoportot állítottak össze az eredmény magyarázatára, miközben az AI-kimenet szintén nyilvánosan elérhetővé vált, hogy bárki megvizsgálhassa és továbbépíthesse.
-
A fizikai eredménynél szintén külső csoportot alakítottak, de a résztvevők kérésére az AI-produkciók publikálását késleltetik, és a csoport maga dolgozza fel és írja meg a részleteket.
OpenAI hangsúlyozza, hogy még nem ismert, melyik megközelítés lesz a leghasznosabb, és visszajelzéseket kér a folyamat finomításához.
Az együttműködések alapelvei
A külső együttműködések négy elvet követik:
-
Átláthatóság: a partnerségek létezéséről nyilvánosan tájékoztatnak; a résztvevőket nem kötik titoktartási megállapodások, és szabadon megoszthatnak anyagokat és publikációkat.
-
Nem keresnek akadémiai kreditet: OpenAI nem igényel tudományos első-szerzőséget a saját modellek által előállított felfedezésekre; a meghívás nem jelenti a felfedezés szerzőjének tekintését a stewardok részéről.
-
Elismerés: a steward-csoportok elismerést kapnak az általuk kialakított megértésért, jegyzetekért és anyagokért, valamint felelősek a megfelelő hivatkozások biztosításáért.
-
Függetlenség: a részvétel önkéntes és nem fizetett; a munkacsoportok tagjai független álláspontot képviselnek és nem beszélnek OpenAI nevében.
Mit tett közzé OpenAI és mi marad később publikálva
OpenAI átadja a kapcsolódó anyagokat és artefaktumokat a steward-csoportoknak. A számítástudományi eredmény esetén a csoport döntése értelmében a természetes nyelvű bizonyítás és a Lean-formalizáció azonnal nyilvános; ezeket OpenAI közzétette a GitHubon. A fizikai eredmény esetén a csoport úgy döntött, hogy visszatartja az AI-alkotásokat, és elsőként ők írják meg az áttekintést.
A szervezési megoldások kompromisszumokkal járnak: a stewardok segítik a szakértői feldolgozást, ugyanakkor az első meghívottak kiválasztása információs aszimmetriát hozhat létre. OpenAI invitálja a közösséget javaslatokra a részvétel kiszélesítésére.
Részletek – Matematika: harmonikus analízis és a local smoothing
A matematika eredménye a harmonikus analízis területén található. A local smoothing gondolatát Sogge fogalmazta meg 1991-ben; a sebesülés és fókuszálódás viselkedésére vonatkozik: a spekuláció szerint a hullámok legextrémebb fókuszálódása rövid életű, és egy tipikus, véletlenszerű időpontban mért fókuszálódás sokkal kisebb, mint a worst-case esetben lehetséges.
A local smoothing jelensége mély következményekkel bír az analízisben: például implikálja a Kakeya-sejtést és Stein restriction-sejtését. 2019-ben Guth, Wang és Zhang bizonyították a local smoothing-et két térbeli dimenzióban; 2025-ben Wang és Zahl bizonyította a Kakeya-prblémát három dimenzióban.
OpenAI modelljei által előállított bizonyítás a local smoothing konjektúrát minden dimenzióban igazolja, és így következményesen megoldja a Kakeya- és Stein restriction-kérdéseket minden dimenzióban. Az új bizonyítás egy újfajta kiegészítő parciális differenciálegyenletre épül.
A modell kimenetét 2026. október 18-án állították elő, és a Lean-formalizáció 2026. október 19-én készült el. Ennek alapján OpenAI — a matematika esetében a külső szakértő javaslatára — nyilvánosan közzétette az AI természetes nyelvű leírását és a Lean-bizonyítást a GitHubon.
Részletek – Számítástudomány: az ETH cáfolata
A számítástudományi eredmény az Exponential Time Hypothesis (ETH) köré szerveződik, amely régóta vitatott állítás a Boole-kifejezések kielégíthetőségének (SAT) időkomplexitásáról, és amelyet széles körben feltételeznek és alkalmaznak feltételes nehézségi eredmények vezetésére több területen.
OpenAI rendszere megcáfolta az ETH-t; ezt a cáfolatot Leanben is formálisan ellenőrizték. Az ETH visszautasítása újra megnyitja a kérdést, hogy bizonyos problémák mennyivel gyorsabban oldhatók meg, és irányt adhat jobb algoritmusok kereséséhez. A gyakorlati gyorsulás eléréséhez azonban jelentős további kutatás szükséges.
Ezt az eredményt Russell Impagliazzo (University of California, San Diego), Ramamohan Paturi (University of California, San Diego) és Ryan Williams (Massachusetts Institute of Technology) vezette külső csoport fogja ellenőrizni és shepherd-olni. Impagliazzo és Paturi az ETH eredeti felvetői közé tartoznak; Williams korábban cáfolt erősebb változatokat és széleskörűen foglalkozott algoritmusok és alsó korlátok összefüggéseivel.
A csoport kérésére minden nyers adat nyilvánossá válik az ellenőrzés elősegítésére, és OpenAI vállalta, hogy finanszíroz egy konferenciát annak érdekében, hogy a közösség megvitathassa az eredmény következményeit. A csoport meghívja a kutatóközösséget egy nyílt vizsgálat szervezésére a ETH-állítás vizsgálatára és arra, hogy megvitassák az AI-eredmények hitelesítésével, hozzáférésével, kreditálásával és a kutatás jövőjével kapcsolatos szélesebb kérdéseket.
A modell 2026. október 16-án találta meg a természetes nyelvű cáfolatot, a Lean-formalizációt 2026. október 17-én készítették el. OpenAI a természetes nyelvű leírást és a Lean-bizonyítást szintén közzétette a GitHubon.
Részletek – Fizika: Yang–Mills, QCD és a kvantumtérelméletek létezése
A fizikai eredmény egy matematikailag pontos létezés-bizonyítást ad bizonyos négy dimenziós, kölcsönható kvantumtérelméletekre, amelyek tartalmaznak gauge-mezőket és fermionokat, beleértve a Quantum Chromodynamics-t (QCD) és egy egyszerű grand unified-szerű kiegészítést a Standard Modellre nézve. A munka Balaban konstruktív kvantumtérelméleti megközelítésén alapul.
A részfeladatok között szerepel a tiszta Yang–Mills elmélet létezésének bizonyítása, ami kapcsolódik a Clay Mathematics Institute Quantum Yang–Mills millennium-problémájához. A Standard Modell a három kölcsönható erőt írja le (kivétel a gravitációt); a létezés-bizonyítás a Standard Modellhez kapcsolódó legegyszerűbb grand unified-szerű elméletet célozza, amely extrapolálható rövid távolságokra.
OpenAI modelljei a Yang–Mills létezésére vonatkozó természetes nyelvű bizonyítást 2026. szeptember 9-én állították elő, QCD-bizonyítást 2026. szeptember 18-án. A munka hosszúsága és összetettsége miatt a publikálást a Lean-formalizáció befejezéséig elhalasztották; a Yang–Mills formalizációját 2026. október 16-án zárták le, ami elindította a külső csoport megkeresését.
A fizikai steward-csoportot David Gross vezeti, tagjai Michael Douglas, Arthur Jaffe, Igor Klebanov és Nikita Nekrasov. E szakemberek együttesen jelentős eredményeket értek el a területen: Gross a Yang–Mills aszimptotikus szabadságáért és a QCD megalapozásáért 2004-ben megosztott Nobel-díjat kapott; Jaffe a Quantum Yang–Mills millennium-probléma társhivatkozója; Douglas évek óta jelentéseket és összefoglalókat készített a probléma állásáról; Klebanov és Nekrasov pedig fontos eredményeket hoztak a gauge–string dualitás és az egzakt módszerek alkalmazásában.
A csoport kérése szerint a munkával kapcsolatos minden kommunikációt a YANGMILLS4D@gmail.com e-mail címre irányítanak.
Finanszírozás és további támogatás
OpenAI bejelentette, hogy ezekhez a steward-csoportokhoz kapcsolódóan anyagilag is támogatja a közösségi munkát: az előző bejelentés szerint OpenAI 5 millió dolláros hozzájárulást tett a Simons Foundation felé, amelyet a Simons Foundation menedzsel és pályáztat workshopok, konferenciák és speciális programok finanszírozására a kutatók számára, hogy megértsék és továbbépítsék az AI által produkált eredményeket.
Miért számít és mi következik
Ezek az állítások — ha független szakértők által ellenőrzött és megerősített bizonyításokká válnak — komoly következményekkel járhatnak a matematikában, a számítástudományban és az elméleti fizikában. Az ETH cáfolata új algoritmikus kutatási irányokat nyithat meg; a local smoothing és kapcsolt konzekvenciái áttörés lehetnek a harmonikus analízisben; a kvantumtérelméleti létezés-bizonyítások pedig hozzájárulhatnak a fizikában használatos elméleti keretek matematikai megalapozásához.
OpenAI és a felkért steward-csoportok most a részletes ellenőrzésre, formalizációra, magyarázatokra és a közösségi átláthatóság biztosítására koncentrálnak. A szervezet visszajelzéseket és javaslatokat vár a közreadási folyamatok továbbfejlesztésére és a lehető legszélesebb kutatói részvétel elősegítésére.
