klik.world
Tehnologija Srbija

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

OpenAI Astra je sledeći veliki AI model: Tvrde da su rešili 10 dugogodišnjih matematičkih problema
Foto: Benchmark
Benchmark·Marko Čavić·03. 08. 2026. 13:29:54

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.

Izvor: Benchmark. Sva autorska prava pripadaju izvornom mediju. KLIK je agregator vijesti.

Povezane vijesti