Claude 123 kod kütüphanesinin bellek hatasıyla çökmediğini kanıtladı.
Anthropic ve Theorem adlı girişim bu hafta bir çalışma yayımladı. Claude, yaygın kullanılan 123 açık kaynak kütüphane için makinenin denetleyebildiği matematiksel ispatlar yazdı. İspatlara göre 64 megabaytın altındaki hiçbir girdi bellek hatası doğurmuyor ve Claude yol boyunca yüzlerce hatayı düzeltti.
Bu neden önemli?Kullandığınız pek çok uygulama resim, belge ve sıkıştırılmış dosya açmak için bu kütüphanelere dayanıyor. İspat testten daha güçlü bir güvence, ama yalnızca yazdığı varsayımlar altında geçerli.
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Anthropic'in Mythos 5 modeli zararlı dediği saldırıyı sürdürdü.2026-10-24Moonshot'ın yeni Kimi modelinin önünde yalnızca üç model var.
2026-10-24Amerikalıların çoğu yapay zekânın topluma zarar verdiğini söyledi.
2026-10-23Microsoft'un yapay zekâsı zor vakalarda pratisyen doktorları geçti.
2026-10-23Anthropic, Agent Skills standardının kontrolünü bıraktı.
2026-10-23