⭐ 75
Axiom Math, yapay zekânın matematiğe slop sokmasını engellemeyi hedefliyor
1,6 milyar dolar değer biçilen girişim Axiom Math, çarşamba günü Stacks Project’in bilgisayar tarafından doğrulanmış sürümünü duyurdu. Yaklaşık 7.654 sayfalık kütüphane, şirketin yapay zekâ ajanları tarafından 16 milyon satır Lean koduna çevrildi. Kurucu Carina Hong, doğrulanmış bir temelin gelecekte slop üretmeden çalışacak ajanlar için gerekli olduğunu savunuyor.