Etiket

Lean Dili

1 haber bulundu

ai news

Axiom Math, AI ve Lean diliyle kod doğrulama yaparak 200M dolar yatırım aldı ve 1.6 milyar dolar değerlemeye ulaştı.

12 Mart 2026 13:03