- Nauka i tehnologija
- 4 min
- 0
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.