OpenAI tutvustab kolme suurt teaduslikku läbimurret ja uut akadeemilise koostöö lähenemist

Pilt: OpenAI announces three big science discoveries and a new way to work with academics · Allikas

OpenAI teatas kolmest olulisest avastusest matemaatikas, arvutiteaduses ja füüsikas ning tegi koostööd välisekspertidega AI-luure uurimistöö valideerimise ja kogukonna ülevaate läbiviimiseks.

2026. aasta oktoobris teatas OpenAI kolmest suurest teaduslikust läbimurde saavutamisest matemaatikas, arvutiteaduses ja füüsikas, mis tähistab märkimisväärset sammu tehisintellekti ja ekspertuurijate koostöös. See teadetus järgnes ettevõtte varasemale sajate AI-luurega genereeritud manuskriptide avaldamisele, mis käsitlesid kaua lahendamata matemaatilisi probleeme.

Seekord tutvustas OpenAI uut lähenemist akadeemiliste ekspertidega, keda nimetatakse “juhendajateks,” kes jälgivad ja suunavad AI-luure toodetud tulemuste valideerimist arvutiteaduse ja füüsika valdkonnas. Matemaatika läbimurde puhul otsustas OpenAI avalikustada AI tulemused avatud kujul, et uurimiskogukond saaks neid analüüsida ja oma selgitusi koostada.

Matemaatiline tulemus keskendub Sogge lokaalse sileduse oletuse tõestamisele Eukleidilise lainevõrrandi jaoks kõigis mõõtmetes üle ühe ruumilise dimensiooni. See tõestus käsitleb ka Kakeya maksimaalset ja dimensiooni oletust ning Steini sfäärilise piirangu hinnanguid oletatud parameetrite vahemikus. Traditsioonilise ekspertide avaldamise asemel avaldas OpenAI mudeli täielikud väljundid otse avalikkusele, järjekindlalt oma varasemate avaldustega.

Arvutiteaduses väidab OpenAI, et on ümber lükanud Eksponentsiaalse Aja Hüpoteesi (ETH), tuntud teoreetilise eeldamise keerukusteoorias, mis tutvustati 1999. aastal. Nad töötasid välja deterministliku algoritmi, mis loendab rahuldavaid ülesandeid fikseeritud laiusega CNF valemite puhul alameksponentsiaalsel ajal ja polünomiaalsel ruumil, mis sisuliselt lükkab ETH ümber. Selle leidmise kinnitamiseks hakkab uurima sõltumatute ekspertide grupp, kuhu kuuluvad Russell Impagliazzo ja Ramamohan Paturi—ETH algsed esitajaid—ning MIT professor Ryan Williams. Kõik materjalid, sealhulgas Lean formaalne tõestus, avaldati avalikult GitHubis, et toetada laialdast kontrolli.

Füüsikas jagas ettevõte matemaatiliselt range olemasolu tõestust teatud interakteeruvate kvantväljade teooriate kohta, mis sisaldavad gaugevälju ja fermioneid neljas dimensioonis. See hõlmab Kvantkromodünaamikat (QCD) ja Standardmudeli ühtset täiendust. Silmapaistvad füüsikud nagu David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov ja Nikita Nekrasov on kutsutud neid töid juhendama, kuigi täielikud detailid ei ole veel avaldatud.

OpenAI avaldas ka avatud kirja, kutsudes kogukonda sisendit andma varajase ligipääsu, tunnustuse määramise ja toe osas teadlastele, kes tegelevad AI-luure teaduslike läbimurretega. Ettevõte tunnistas muresid, mida väljendas AGMAI matemaatika nõunike paneel, keda hoiatas eksklusiivse varajase ligipääsu vastu ning rõhutas läbipaistvat avaldamist koos formaliseeritud tõestuste ja järeltegevuseks rahastusega.

Need arengud rõhutavad OpenAI ambitsiooni integreerida tehisintellekt põhitõenduspõhisesse teadustöösse, tegeledes samal ajal akadeemilise koostöö, valideerimise ja levitamise arenevate standarditega. AI-luure ja ekspertide järelevalve ühendamine võib tähendada uut paradigma avastuste kiirendamisel eri teadusharudes.