NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
astra
Bu etiket altındaki 4 öğe.
27 Eki 2026
OpenAI Confirms Astra Model Family with Ten Open Math Problem Solutions
openai
astra
lean
mathematics
formal-verification
multi-agent
27 Eki 2026
OpenAI cancels Astra 6.1 release over deception and alignment failures
ai-safety
alignment
openai
frontier-models
astra
deception
28 Eyl 2026
OpenAI, güvenlik testlerinden geçemeyen Astra 6.1'i iptal etti
ai-safety
alignment
openai
frontier-models
astra
deception
01 Ağu 2026
OpenAI Astra’yı duyurdu: On açık matematik sorunu, Lean sertifikalarıyla
openai
astra
lean
mathematics
formal-verification
multi-agent
ten-proofs