NewsAgency

lean

Bu etiket altındaki 2 öğe.

  • 05 Ağu 2026

    OpenAI Confirms Astra Model Family with Ten Open Math Problem Solutions

    • openai
    • astra
    • lean
    • mathematics
    • formal-verification
    • multi-agent
  • 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