Három tudományos eredményt jelentett be az OpenAI, jön az ellenőrzés
Az egyik állítás a számítástudomány fontos feltevését cáfolná; külső kutatók vizsgálják, miközben a hozzáférés rendje is vitát váltott ki.
▶ 30 MÁSODPERCBEN
- MI TÖRTÉNT
- Az OpenAI három jelentősnek nevezett eredményt jelentett be a matematika, a számítástudomány és a fizika területén, de az ellenőrzésük még hátravan.
- MIÉRT FONTOS
- Az állítások között egy fontos algoritmikus feltevés cáfolata is szerepel, miközben a kutatóknak az AI-eredmények ellenőrzésének szabályait is tisztázniuk kell.
- MI JÖN MOST
- Független munkacsoport vizsgálja a számítástudományi bizonyítást, a fizikai munkát külső szakértők kísérik, a teljes fizikai anyag még nem nyilvános.
Az OpenAI szerint modellje olyan algoritmust talált, amely megcáfolná a számítástudomány egyik széles körben elfogadott feltevését. Ez a három, jelentősnek nevezett tudományos eredmény egyike, amelyről a The Verge beszámolt: a cég 2026. október 26-án tett közzé anyagokat a GitHubon, de a bejelentés még nem jelent független megerősítést.
A matematikai levezetést a kutatóknak kell kibontaniuk
A matematikai állítás az euklideszi hullámegyenlet lokális simítására adott bizonyítás. Az OpenAI szerint ebből a Kakeya-féle maximál- és dimenziósejtés, valamint Stein gömbi restrikciós becslései is következnek, a sejtett érvényességi tartomány teljes belsejében.
A cég közvetlenül a modell kimenetét adja közre, ahogy október 6-án is tette, amikor több száz, állítása szerint régóta nyitott matematikai kérdéseket megoldó kéziratot publikált. A tanácsadó szakértők most azt javasolták, hogy a kutatók maguk dolgozzák ki a levezetések magyarázatát.
Egy 1999-es feltevést cáfolna az algoritmus
A számítástudományi eredmény egy determinisztikus algoritmus: az OpenAI szerint rögzített szélességű CNF-formulák összes kielégítő értékadását pontosan megszámolja, szubexponenciális idő és polinomiális tárhely felhasználásával. Vagyis nem pusztán megoldást keres, hanem az összes megoldás számát adja meg, meghatározott futásidő- és memóriaigénnyel.
A bizonyítást Russell Impagliazzo, Ramamohan Paturi és Ryan Williams vezette független munkacsoport vizsgálja és magyarázza el. Impagliazzo és Paturi az ETH 1999-es megfogalmazói között voltak; a mostani anyagokat a munkacsoport kérésére azonnal nyilvánosságra hozzák.
A fizikai bizonyítás még nem teljesen nyilvános
A fizikában az OpenAI bizonyos négydimenziós, mértékmezőket és fermionokat tartalmazó kölcsönható kvantumtérelméletek matematikailag szigorú létezési bizonyítását állítja. Ide sorolja a kvantum-színdinamikát, a QCD-t, valamint a standard modell egy egységes kiterjesztését, ám a teljes anyagot még nem adta ki.
A munkát David Gross vezette csoport kíséri, Michael Douglas, Arthur Jaffe, Igor Klebanov és Nikita Nekrasov részvételével. Az OpenAI a számítástudományi és fizikai eredmények mellett dolgozó külső szakértőket „pásztoroknak” nevezi: feladatuk az eredmények szakmai gondozása.
Az elsőbbségi hozzáférést a tanácsadók is vitatják
Az OpenAI által összeállított AGMAI matematikai tanácsadó testület egy nappal korábban ellenezte, hogy kijelölt kutatók előbb kapják meg az AI kimenetét. Egyenlőtlen hozzáférésre, a szakértői tekintély kölcsönzésére és elfogult kiválasztásra figyelmeztetett.
A testület tudományos repozitóriumokban való közzétételt, Leanben formalizált bizonyításokat, a problémaválasztás átláthatóságát és az értelmezésen dolgozók finanszírozását javasolta. Az OpenAI elismerte, hogy saját megközelítésének is lehetnek problémái; nyílt levélben kér véleményt az ETH ellenőrzéséről, a korai hozzáférésről, az összeférhetetlenségről, az érdemek elismeréséről és a hallgatók és kutatók támogatásáról.
TECH-SZÓTÁR
- CNF és 3-SAT
- Logikai feltételek szabványos alakja; a 3-SAT olyan kielégíthetőségi feladat, amelyben egy-egy feltétel legfeljebb három logikai változót vagy annak tagadását kapcsolja össze.
- Szubexponenciális idő
- Olyan futásidő, amely a feladat méretével az exponenciálisnál lassabb ütemben nő.
- Polinomiális tárhely
- A szükséges memória mennyiségét a bemenet méretének valamely rögzített hatványa korlátozza.
- Lean
- Olyan bizonyításellenőrző rendszer, amellyel a formálisan leírt matematikai érvelés lépései géppel ellenőrizhetők.
» Követett téma: AI · régió: USA · kulcsszó: tudományos bizonyítások