NewsAgency

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

Şununla oluşturuldu Quartz v5.0.0 © 2026

  • GitHub
  • Discord Community