OpenAI Astra je sledeći veliki AI model: Tvrde da su rešili 10 dugogodišnjih matematičkih problema

OpenAI je prvi put zvanično pomenuo novi model Astra i objavio da je interna verzija sistema napravila deset značajnih pomaka u matematici i teorijskoj informatici. Dokazi su formalno verifikovani u Lean sistemu, ali stručnjaci upozoravaju da rezultate tek treba potvrditi kroz standardni naučni proces. The post OpenAI Astra je sledeći veliki AI model: Tvrde da su rešili 10 dugogodišnjih matematičkih problema first appeared on Benchmark.