Odaily Planet Daily News: Ipinahayag ng OpenAI ang kanilang panel na ang kanilang susunod na henerasyon ng AI model, ang Astra, ay nakamit ng pag-unlad sa larangan ng matematika at teoretikal na agham ng kompyuter, kabilang ang mataas na dimensiyonal na heometriya, teorya ng coding, teorya ng grupo, quantum complexity, post-quantum cryptography, at extremal combinatorics. Ang 10 mga natuklasang ito ay kasama ang: problema ng high-dimensional sphere packing, problema ng binary at spherical coding, problema ng non-sofic groups, Connes rigidity conjecture, problema ng arithmetic circuit complexity, problema ng quantum parallel repetition, problema ng nearest vector, Ehrhart volume conjecture, problema ng multicolor Ramsey numbers, at extremal graph theory conjecture.
Ayon sa paglalarawan, natapos ang mga resultang ito sa pamamagitan ng internal version ng Astra model, na nag消耗 ng computing cost na humigit-kumulang $2,000 (batay sa Sol API price). Pagkatapos, ginamit ng mga human researchers ang parehong model upang tulungan sa pagsasama-sama ng papel, at ginawa ang verifiable proof certificates sa pamamagitan ng Lean formal proof system.
