Bend dili, yapay zekanın yazdığı kodu kanıtla sınırlamayı öneriyor

Bend, yapay zeka ajanlarının yazdığı kodu biçimsel kanıtla sınırlamayı hedefleyen yeni bir programlama dili olarak yayımlandı. Geliştiricilere göre dil yerel koda derleniyor, tek çekirdekte C'ye yakın hızda çalışıyor, aynı ikili dosya çok çekirdekte ve ekran kartında da koşuyor. Tip denetleyicisi Lean ve Rocq'taki gibi bir kanıt denetleyicisi; ekip, denetimin en fazla bir saniye sürdüğünü, bu yüzden ajanın her değişiklikten sonra kontrol edebildiğini söylüyor. Kurallar LAWS.bend dosyasında tanımlanıyor, kanıtlar PROOF.bend dosyasında tutuluyor; kuralı bozan bir değişiklik birleştirilemiyor. Proje Hacker News'te 594 puan aldı. Performans ve güvenilirlik iddiaları şimdilik geliştiricilerin kendi ölçümlerine dayanıyor; ekip dilin genç olduğunu ve hataların beklenmesi gerektiğini belirtiyor.