NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
ten-proofs
Bu etikete sahip 1 öğe.
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