Axiom, 43,1 milyon satırlık Lean kanıtıyla “muazzam teoremi” biçimselleştirdi
Axiom Math, sonlu basit grupların sınıflandırmasını onlarca yapay zekâ ajanıyla Lean’de bilgisayar denetimli bir kanıta dönüştürdüğünü açıkladı.
1 dk okumaHaberi oku
ODAĞINI SEÇ
Üretim alanın hangisi?
HABER AKIŞI
Biçimsel doğrulama
KonuBiçimsel doğrulamaEtiketi kaldır
AI Radar yayın saatine göre · Saatler Türkiye saatidir.Filtreleri temizle
Claude, 123 açık kaynak kütüphanede makine denetimli güvenlik kanıtları üretti
Anthropic ve Theorem, Claude’un RISC‑V makine kodu düzeyinde 123 açık kaynak kütüphanedeki 239 fuzz testi giriş noktası için biçimsel güvenlik kanıtları oluşturduğunu açıkladı.
1 dk okumaHaberi oku
OpenAI, AI üretimi matematik sonuçlarını incelemeye açtı
Güncel GitHub koleksiyonu 719 çalışmayı 372 sonuç ailesinde topluyor. Sonuçların doğrulama düzeyleri farklı; üst düzey sonuçların yaklaşık yüzde 42’si Lean ile biçimselleştirilmiş durumda.
2 dk okumaHaberi oku
HABERİN BİR ADIM ÖTESİ
Ne değişti?
Üretimine ne katar?
Her haberin içinde kısa bir özet, üretim işine etkisi ve asıl kaynaklar var. Ürün demolarını ve yayımlanan örnekleri de haberin yanında keşfet.
Yayın yaklaşımımız
