ODAĞINI SEÇ
HABER AKIŞI
Google DeepMind’in AlphaProof Code çerçevesi, Signal protokolünün üretimde çalışan çekirdek makine kodundaki temel güvenlik özelliklerini AI ajanları ve Lean ispat denetimiyle doğruladı.
Anthropic, model ağırlıklarını açıklamadan bir yanıtın taahhüt edilen modelden geldiğini kanıtlamayı amaçlayan açık kaynak FlashProve araştırma prototipini yayımladı.
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ı.
OpenAI, modellerinin matematik, karmaşıklık teorisi ve kuantum alan teorisinde üç yeni sonuç ürettiğini; kanıtların bir bölümünün Lean ile biçimsel olarak doğrulandığını duyurdu.
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.
HABERİN BİR ADIM ÖTESİ
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@airadarhaber
Yeni AI gelişmeleri, konuya özel görseller ve ürün örnekleri. Gönderilerde keşfet, hikâyelerde yakala.
Instagram’da takip et
GRAFİK. DİJİTAL. HAREKET.
Grafik tasarım, marka kimliği
ve motion işlerime göz at.
