Claude’la 123 açık kaynak kütüphanede biçimsel doğrulama deneyi
Yazarlar, Claude ile Google OSS-Fuzz kapsamındaki 123 açık kaynak kütüphanenin 239 test giriş noktası için RISC-V makine kodunda biçimsel kanıtlar ürettiklerini bildiriyor. Kanıtlar, belirli varsayımlar altında 64 MB’tan küçük girdilerde çökmemeyi kapsıyor; tüm hataların yokluğunu göstermiyor.
Yazarlar, Claude’un açık kaynak yazılımlarda biçimsel doğrulamayı ölçeklendirebildiğini 123 kütüphane üzerindeki deneyle gösterdiklerini söylüyor.
02ŞİRKETLER
OpenAI, 1,25 trilyon dolar değerlemeyle 30 milyar dolar toplamayı görüşüyor
CNBC’ye göre OpenAI, 1,25 trilyon dolar ön değerleme üzerinden 30 milyar dolara kadar yatırım almak için görüşmeler yürütüyor. Şartlar henüz kesinleşmedi; BAE yatırımı, şirketin bölgeden daha fazla işlem kapasitesi sağlamasıyla bağlantılı olabilir.
OpenAI, Coatue ve BAE’deki yatırımcıların öncülük ettiği bir turda 30 milyar dolara kadar fon toplamayı görüşüyor.
03POLİTİKA VE HUKUK
Meta, yayıncıların tepkisi üzerine iş koşullarını erteledi
Meta, yayıncıların itirazlarının ardından yeni iş koşullarının yürürlüğe girişini 30 Ekim’den 20 Kasım’a aldı. Şirket sözcüsü, ertelemenin değişiklikleri ve web tarayıcılarının nasıl kullanıldığını açıklamak için zaman sağlayacağını söyledi; Meta’ya göre içerik sahipleri robots.txt ile tercihlerini bildirebilecek. Hukuk uzmanları, koşullardan “eğitim” ifadesinin çıkarılmasının yapay zekâ eğitimi için içerik taranması ihtimalini ortadan kaldırmadığını savundu.
Meta, yapay zekâ eğitimi için haber sitelerinin taranmasına izin verebileceği endişesi doğuran iş koşullarının yürürlüğe girişini 20 Kasım’a erteledi.
04MODELLER
Canva, tasarımı planlayarak görsel üreten Craft modelini tanıttı
Canva Craft, tasarımdaki öğeleri önce planlayıp sonra görsel üreten iki aşamalı bir model. Şirkete göre bu yapı, okunabilir metin ve hassas nesne yerleşimi gereken karmaşık görsellerde doğruluğu artırmayı amaçlıyor. Model 2K çözünürlük ve 30’dan fazla en-boy oranını destekliyor; Design Arena’nın kitle kaynaklı sıralamasında dördüncü.
Canva, tasarım öğelerini önce planlayıp sonra görsel üreten Craft adlı yapay zekâ görüntü modelini kullanıma açtı.
05AÇIK KAYNAK
Berget AI, istek başına karbon hesabı yöntemini açık yayımladı
Berget AI, istek başına karbon salımını hesaplayan açık kaynaklı yöntemi yayımladı. Şirket, aynı donanımdaki Kimi K3 isteğini İsveç’te 0,4, Teksas’ta 3,2 gram CO₂ olarak hesaplıyor. Yöntem şebeke ortalamasını kullanıyor; çip üretiminin su ve enerji etkisini kapsamıyor.
Berget AI’nin hesabına göre aynı Kimi K3 isteği İsveç’te 0,4 gram, Teksas’ta 3,2 gram CO₂ salıyor.
06MODELLER
ThinkingCap, Gemma-4’ün düşünme tokenlarını ortalama yüzde 38,9 azalttı
Bottlecap AI, Google’ın Gemma-4-26B-A4B-it modelinden türettiği ThinkingCap sürümünde düşünme tokenlarını 12 kıyaslamada ortalama yüzde 38,9 azalttığını bildirdi. Şirket, doğrulukta ortalama 0,15 yüzde puanlık düşüş ölçtü; değerlendirmeler kendi test düzeneğinde yapıldı.
Bottlecap AI, Gemma-4-26B-A4B-it tabanlı ThinkingCap modelinin 12 kıyaslamada düşünme tokenlarını ortalama yüzde 38,9 azalttığını ve doğrulukta ortalama 0,15 yüzde puanlık düşüş ölçtüğünü bildirdi.
Günün teknoloji seçkisi, her sabah Türkçe. Ücretsiz. İstediğin zaman ayrıl.
Kaynağı belli.
Haberler Hacker News üzerinden seçilir; erişilebilen orijinal metinler yapay zekâyla özetlenir ve çevrilir. Özetler hata içerebilir; ayrıntılar için her haberin altındaki kaynağa bakabilirsin. Yeni seçkinin hazırlanması her sabah Türkiye saatiyle 06.55’te başlar; hedef 07.00’den önce yayına hazır olmasıdır.
Bu seçki, belirtilen tarihte Hacker News’te paylaşılan yazıları kapsar.
iPhone için App Store’da
Günün özeti. Artık cebinde.
Kısa’nın iPhone uygulamasıyla her sabah yeni seçkiyi oku ya da dinle, haberleri kaydet, serini sürdür.
