NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
lean
Bu etiket altındaki 5 öğ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
Working with academic communities to build scientific understanding
openai
formal-methods
research
frontier-models
lean
26 Eki 2026
OpenAI, Lean formalizasyonu ve üç alanda bilim iddiası duyurdu — doğrulama süreci devam ediyor
openai
formal-methods
research
frontier-models
lean
10 Eki 2026
Cambridge ekibi: OpenAI Navier–Stokes Lean çevirisi PDF ile uyuşmuyor
openai
lean
formalization
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