biçimsel doğrulama

Anthropic, Claude modelinin, 123 açık kaynaklı kütüphaneden derlenen kodun tanımlanmış koşullar altında çökemeyeceğini gösteren makine onaylı matematiksel kanıtlar yazdığını belirtiyor. Şirketin Frontier Red Team ekibi tarafından 22 Ekim'de yayınlanan araştırmaya göre, model bu süreçte trilyonlarca test çalışmasına rağmen yıllardır tespit…