OpenAI paskelbė didelį matematikos proveržių rinkinį iš neišleisto DI modelio

Vaizdas: The Verge · Šaltinis

OpenAI paskelbė 722 rankraščių, kuriuose išspręsti šimtai ilgalaikių atvirų matematikos problemų, sukurtų neišleisto vidaus DI modelio. Šis darbas, paskelbtas GitHub, papildo DI pažangą ir kelia klausimų apie tyrimų etiką ir akademines normas.

OpenAI atskleidė gausų matematikos rezultatų rinkinį, sukurtą neišleisto vidaus dirbtinio intelekto modelio, apimantį 722 rankraščius, suskirstytus į 372 susijusių straipsnių šeimas. Šis platus leidinys, kaip teigiama, sprendžia šimtus ilgus metus atvirų klausimų iš įvairių matematikos sričių, tęsdamas neseniai pastebėtą DI pagalbą proveržiams šioje srityje. Medžiaga viešai prieinama GitHub repozitorijoje, įskaitant formalizuotus įrodymus, samprotavimų santraukas ir papildomus dokumentus.

Pasak OpenAI, didžioji dalis rezultatų buvo gauti taikant nuoseklią procedūrą: vidaus modelis buvo naudojamas spręsti apie 4 000 problemų, vidutiniškai užtrunkant apie tris valandas ChatGPT Pro atitinkamai kiekvienam rezultatui apskaičiuoti. Šie atskiri rezultatai buvo sujungti, kruopščiai sutvarkyti ir patikrinti prieš paskelbiant. Kai kurie sudėtingi atvejai, pavyzdžiui, įrodymai, susiję su Riemanno zėta funkcijos nulių laisvomis sritimis ir Hodge'o spėjimu CM abelių veislių atžvilgiu, reikalavo išimčių standartiniame procese ir žmogiškojo redagavimo aiškumo užtikrinimui.

Paskelbtas repozitorijus siūlo detalią katalogą pagal matematikos disciplinas, leidžiantį naršyti pagrindinius rezultatus ir jų papildomus straipsnius. Daugelis rankraščių turi formalias Lean įrodymų asistento verifikacijas, nors dalis lieka neformalizuoti ir gali turėti klaidų, kurias OpenAI įsipareigoja taisyti būsimuose atnaujinimuose.

Šis viešinimas seka Matematikos ir Dirbtinio Intelekto Patariamosios Grupės rekomendacijas, kurios ragino DI tyrimų laboratorijas skubiai dalintis matematikos pasiekimais per įprastus akademinius kanalus, teikiant skaidrią informaciją, tokią kaip modelių pavadinimai, pateikimo duomenys ir skaičiavimo sąnaudos. Grupė taip pat įspėjo nepasinaudoti tokiais rezultatais tik kaip rinkodaros įrankiu dėl galimos žalos matematikų bendruomenei.

Šių DI sukurtų rezultatų platesnė įtaka dar tik vystosi, nes matematikai visame pasaulyje nagrinėja ir vertina šiuos radinius. Šie darbai prisideda prie sparčiai augančio DI pagrįstos matematinės tyrimų bazės, kartu su kitų laboratorijų, kaip Anthropic, bandymais spręsti sudėtingas problemas, įskaitant Tūkstantmečio prizų klausimus. Pagreitintas DI dalyvavimas fundamentinėje matematikoje skatina diskusijas apie tyrimų etiką, akademinius nuopelnus ir žmogaus matematikų vaidmenį, kurių ankstesni darbai sudaro DI pasiekimų pagrindą.

OpenAI planuoja išlaikyti viešą šių rankraščių versijų kontrolę, leidžiančią nuolatines pataisas ir užtikrinančią skaidrumą. Bendrovė taip pat ieško papildomų bendruomenės priglobtų platformų matematikos turiniui platinti ir bendradarbiaujant jį tobulinti. Šis leidinys žymi reikšmingą etapą DI integracijoje į matematikos tyrimus, pabrėždamas tiek įspūdingą potencialą, tiek atsakingos inovacijos sudėtingumą.