OpenAI predstavlja deset istraživačkih rezultata modela Astra

Deset rezultata internog modela

OpenAI je objavio deset novih rezultata za dugo otvorene probleme u matematici i teorijskom računarstvu. Rešenja je proizvela interna verzija Astre, narednog velikog modela kompanije. Potrebni tokeni koštali bi oko 2.000 dolara po cenama Sol API-ja.

Na glavnim rezultatima nije bilo napretka najmanje deceniju, a uglavnom znatno duže.

Objava sledi majski rezultat, kada je tokom evaluacije neobjavljenog modela nastalo opovrgavanje Erdősove pretpostavke o jediničnim rastojanjima pomoću AI, koje je već podstaklo dalja istraživanja. Novi izbor obuhvata geometriju visokih dimenzija, kodove, grupe, aritmetičku i kvantnu složenost, rešetke i ekstremalnu kombinatoriku.

Oblasti i ključni pomaci

• Pakovanje sfera i kodovi: gornje granice gustine do Cohn–Elkiesovog praga, uz eksponencijalno bolje granice za binarne i sferne kodove.
• Grupe i algebre: konstrukcija ne-sofičkih grupa i opovrgavanje Connesove pretpostavke da su određene grupe jedinstveno određene svojim von Neumannovim algebrama.
• Složenost: donje granice za permanent, uključujući granicu formula reda n⁴/log n, i eksponencijalno paralelno ponavljanje za opšte kvantne igre dva igrača.
• Rešetke i geometrija: tvrdoća aproksimacije do polinomijalnog faktora za problem najbližeg vektora i određivanje, u svakoj dimenziji, najveće zapremine konveksnog tela čije je težište jedina unutrašnja tačka rešetke.
• Kombinatorika: supereksponencijalna donja granica za višebojne trougaone Ramseyjeve brojeve i rezultati o kompaktnosti i degeneraciji; rešeni su Erdősovi problemi 183, 146 i 180.

Rukopisi, Lean i pripisivanje

Ljudi su uz isti model pripremili argumente kao rukopise, a model je zatim svaki formalizovao u Lean sertifikat. Objavljena je i naracija njegovog procesa razmišljanja za svako rešenje.

OpenAI preuzima odgovornost za tačnost rukopisa i formalizacija, dok matematičke argumente pripisuje sistemu. Kompanija smatra da bi ljudsko autorstvo za potpuno AI-generisan dokaz pogrešno predstavilo doprinos obe strane.

Za poslovne timove zaključak je operativan: uz trošak računanja treba planirati ljudsku pripremu, formalnu proveru i jasna pravila pripisivanja. Generisani rezultat je samo deo istraživačkog toka rada.