matematički dokazi

OpenAI najavio model Astra u blog postu o matematici

OpenAI je u blog postu o matematici otkrio da je njihov sledeći veliki model Astra, koji je postigao napredne rezultate u teorijskom računarstvu.