OpenAI pristato tris pagrindinius mokslinius atradimus ir naują akademinės bendradarbiavimo modelį

Vaizdas: OpenAI announces three big science discoveries and a new way to work with academics · Šaltinis

OpenAI paskelbė tris svarbius atradimus matematikoje, informatikos ir fizikos srityse, bendradarbiaudamas su išoriniais ekspertais, kurie padeda tikrinti ir peržiūrėti AI generuotus mokslinius tyrimus.

2026 m. spalio mėn. OpenAI paskelbė tris svarbius mokslinius atradimus matematikoje, informatikos ir fizikos srityse, žymėdamas reikšmingą žingsnį dirbtinio intelekto ir ekspertinių tyrėjų bendradarbiavimo srityje. Šis pranešimas buvo paskelbtas po to, kai kompanija jau anksčiau išleido šimtus AI sugeneruotų rankraščių, nagrinėjančių ilgai nespręstus matematinius klausimus.

Šį kartą OpenAI pristatė naują bendradarbiavimo su akademiniais ekspertais – vadinamais „prižiūrėtojais“ – metodą, skirtą kontroliuoti ir vadovauti AI generuotų atradimų patvirtinimui informatikos ir fizikos srityse. Matematikos proveržio atveju OpenAI nusprendė atvirai paskelbti AI rezultatus, kad mokslinė bendruomenė galėtų juos analizuoti ir kurti savo paaiškinimus.

Matematikos rezultatas susijęs su Soggio vietine sušvelninimo hipoteze Europos bangų lygties atžvilgiu visose erdvinėse dimensijose, didesnėse už vieną. Šis įrodymas taip pat apima Kakeya maksimaliosios ir matmenų hipotezes bei Steino sferinių apribojimo įvertinimus hipotezių ribose. Vietoje formalios recenzuojamos publikacijos OpenAI tiesiogiai paskelbė visus modelio rezultatus visuomenei, kaip ir anksčiau.

Informacinėse technologijose OpenAI teigia paneigę Eksponentinio laiko hipotezę (ETH), gerai žinomą teorinę prielaidą sudėtingumo teorijoje, siūlytą 1999 m. Jie sukūrė deterministinį algoritmą, skaičiuojantį tenkinančius priskyrimus fiksuoto pločio CNF formulių atvejais subeksponentiniu laiku ir polinominio dydžio atmintyje, efektyviai paneigiant ETH. Šio atradimo patikrinimui nepriklausoma ekspertų grupė, įskaitant Russelį Impagliazzo ir Ramamohaną Paturi – pirminius ETH siūlytojus –, taip pat MIT profesorių Ryaną Williamsą, peržiūrės įrodymą. Visi dokumentai, įskaitant Lean formalizuotą įrodymą, buvo paviešinti GitHub platformoje, skatinant plačią analizę.

Fizikos srityje kompanija pristatė matematiškai griežtą tam tikrų sąveikaujančių kvantinių laukų teorijų egzistavimo įrodymą, apimančių gijimo laukus ir fermionus keturių dimensijų erdvėje. Tai apima Kvantinę Chromodinamiką (QCD) ir standartinio modelio suvienytą pildymą. Šiam darbui vadovaus žinomi fizikai, tokie kaip David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov ir Nikita Nekrasov, nors pilni duomenys dar nebuvo paskelbti.

OpenAI taip pat paskelbė atvirą laišką, kviečiantį bendruomenę pateikti nuomones apie tinkamus normas ankstyvajam prieinamumui, autorystės pripažinimui ir paramai tyrėjams, dirbantiems su AI generuotais moksliniais proveržiais. Įmonė atsiliepė į AGMAI matematikos patariamosios grupės išsakytas abejones, kurios ragino vengti išimtinės ankstyvos prieigos ir pabrėžė skaidrią viešinimą su formalizuotais įrodymais ir finansavimą tolimesniems darbams.

Šie įvykiai pabrėžia OpenAI siekį integruoti DI į pagrindinius mokslinius tyrimus, susiduriant su kintančiais akademinės bendradarbiavimo, patikros ir sklaidos standartais. AI sugeneruotų įžvalgų ir ekspertų priežiūros derinys gali žymėti naują paradigmos etapą, skatinantį atradimus įvairiose disciplinose.