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ı.
ODAĞINI SEÇ
HABER AKIŞI
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’nin yeni politika planı; ileri yapay zekâ sistemlerinde izleme ve kapatma kontrolleri, kritik altyapıda güvenli tasarım ve bağımsız teknik değerlendirmeler öneriyor.
Walmart, müşterilerin yapay zekâ ajanlarını ayrı profillerle yetkilendirebildiği Agent Profiles sistemini ve geliştiriciler için MCP tabanlı Agent Gateway’i duyurdu.
Sierra’nın Stripe entegrasyonu, müşterilerin bir AI ajanıyla aynı telefon görüşmesinde destek alıp kart bilgilerini güvenli tuş takımıyla girerek ödeme yapmasını sağlıyor.
IBM Research yaklaşımı, GPT‑4.1 tabanlı temel bir ReAct ajanının geçmiş denemelerinden kısa davranış kuralları çıkarıp bunları sonraki görüşmelerde sistem istemine ekliyor.
Perplexity ve Valarian, Computer ajanını kurum kontrollü bulutlara, şirket içi sunuculara ve internete kapalı ağlara taşıyan dağıtım seçeneğini kullanıma açtı.
Modal, ajan ve pekiştirmeli öğrenme iş yükleri için Vera CPU desteğini planlıyor; şirketin erken testleri yoğun yük altında iki kata kadar görev verimi gösteriyor.
Workers AI’de önizlemeye açılan Clairic; metin ve görsellerden ad, tarih, sayı, tahmin ve öngörüleri türlendirilmiş değerler olarak çıkarıyor.
Inception’ın Mercury 3 modeli, paralel metin üretimini 1 milyon token bağlam, 1.068 token/saniye sağlayıcı ölçümü ve OpenAI uyumlu API ile birleştiriyor.
Anthropic, GitHub pull request’lerini çok ajanlı inceleyen Claude Code Review’ü araştırma önizlemesinden çıkararak Team ve Enterprise planlarında genel kullanıma sundu.
Muse Spark Open; 816 milyar toplam, 42 milyar etkin parametreyi bir milyon token bağlamla birleştiriyor ve metin, görsel, ses ile videoyu giriş olarak işliyor.
Amp, OpenAI modelleriyle çalışan ajanını kod yazmanın ötesinde ürün planlama, dokümantasyon, sayfa tasarımı ve sesle ajan yönetimine genişletiyor.
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.