OpenAI mudel Astra lahendas USA-s kümme keerulist matemaatikaülesannet

OpenAI tutvustas kümmet uut matemaatilist ja teoreetilise informaatika edusammu, mille genereeris nende arendusjärgus tehisintellektimudel Astra. Tulemused, mis hõlmavad rühmateooriat ja sfääride pakkimist, on kontrollitud Lean 4 tarkvaraga.

USA-s asuv tehisintellektiarendaja OpenAI avaldas kümme uut teadustulemust matemaatika ja teoreetilise informaatika vallas, mille on genereerinud ettevõtte sisemine mudel Astra. Ettevõtte väitel polnud neis küsimustes viimase kümnendi jooksul märkimisväärset edasiminekut toimunud. Astra koostas esmased matemaatilised argumendid, mille põhjal OpenAI töötajad vormistasid 249-leheküljelise teadustöö ja formaliseerisid tõestused.

Üks tähelepanuväärsemaid tulemusi puudutab rühmateooriat. Teadlased pole üle 25 aasta suutnud leida vastust küsimusele, kas eksisteerivad rühmad, mille struktuuri pole võimalik lõplike matemaatiliste mudelitega ligilähedaseltki taasesitada. OpenAI teatel suutis Astra luua esimese konkreetse näite sellisest rühmast, lahendades sellega pikaaegse teoreetilise probleemi.

Lisaks sellele genereeris Astra tõestuse Ehrharti hüpoteesile ruumala kohta ja pakkus välja lahendused kolmele Erdoši probleemile, numbritega 146, 180 ja 183. Mudel esitas ka Conni hüpoteesi ümberlükkamise von Neumanni algebrate jäikuse kohta. Teine märkimisväärne saavutus on sfääride pakkimise optimeerimine mitmemõõtmelises ruumis, kus Astra parandas arvutusi esmakordselt alates 1978. aastast. Ülejäänud tulemused käsitlevad kvanttehnoloogiaid, andmekaitset ja arvutuskeerukuse hindamist.

Kõik kümme tõestust on kontrollitud Lean 4 programmiga, mis tuvastab loogilisi vigu, kuid ei hinda teadustöö originaalsust ega teaduslikku väärtust. Sõltumatu teaduslik eelretsenseerimine on alles pooleli. Rahvusvaheline Matemaatikaliit toetas juunis vastu võetud Leideni deklaratsiooni, mis kohustab tehisintellekti kasutamisel teadustöös säilitama inimlikku vastutust ja vältima pressiteadete eelistamist akadeemilisele hindamisele. OpenAI kinnitas, et võtab vastutuse avaldatud tööde korrektsuse eest. Astra jääb esialgu OpenAI sisemiseks mudeliks, mille avaliku väljalaske aega pole täpsustatud.