PSP oyunları tarayıcıda çalışıyor, Chrome JPEG XL destekliyor, Anthropic Haiku 5.5'i duyurdu

Bu sayıda

Lean doğrulaması, doğal dildeki matematiksel kanıtların doğruluğunu garanti etmiyor
OpenAI, 372 matematiksel sonucu ve UGC kanıtını yayımladı
Chrome 155, JPEG XL görüntü formatını desteklemeye başlıyor
Anthropic, Claude Haiku 5.5 modelini piyasaya sürdü
ShinyHunters' Boeing spin-off extortion attempt precedes key suspect's arrest
PSP oyunları emülatör olmadan tarayıcıda çalışıyor
ve 4 kısa haber

Ana haberler

Lean doğrulaması, doğal dildeki matematiksel kanıtların doğruluğunu garanti etmiyor

Yazarlar, yapay zekâ destekli otomatik biçimselleştirmenin Lean gibi formal dillere çeviri sırasında semantik sadakati sağlayamadığını savunuyor. Bu durum, OpenAI'nin Navier-Stokes denklemlerinin patlama çözümü kanıtı dahil olmak üzere, doğal dildeki orijinal argümanların doğruluğu hakkında güven vermediği anlamına geliyor. Makale, matematiksel metinlerdeki belirsizlikleri çözümlemenin durdurma probleminden bile daha karmaşık olduğunu gösteriyor. Ayrıca, Lean'deki biçimsel kanıtın doğal dildeki kanıtla örtüşmediği pratik örnekler sunuluyor. Bu örnekler arasında OpenAI'nin duyurduğu Navier-Stokes kanıtı da yer alıyor; biçimsel kanıtın doğal dildeki argümanla birebir karşılık gelmediği gösteriliyor. Yazarlar, bu çeviri sürecinin semantik olarak güvenilir olmadığını vurguluyor.

arxiv.org Hacker News yorumları

OpenAI, 372 matematiksel sonucu ve UGC kanıtını yayımladı

OpenAI, Timothy Gowers ve Edward Witten’in önerisiyle 372 matematiksel sonucu yayımladı. Bunlar arasında Subhash Khot’un Benzersiz Oyunlar Tahmini (UGC) kanıtı da var. Henüz insan araştırmacıların bu kanıtları tam olarak anlamadığı belirtiliyor. Yazar, bu durumun matematik tarihinde en büyük günlerden biri olduğunu savunuyor. Ayrıca, UGC’nin NP-zorluk sonuçlarını etkilediği ve bazı sonuçların henüz tam olarak doğrulanmadığı not ediliyor.

scottaaronson.blog Hacker News yorumları

Chrome 155, JPEG XL görüntü formatını desteklemeye başlıyor

Chrome ekibi, tarayıcının 155. sürümünden itibaren JPEG XL (.jxl) formatını çözmeye başladığını duyurdu. JPEG XL, JPEG'e kıyasla %30-50 daha iyi sıkıştırma, kayıpsız sıkıştırma ve yerleşik HDR desteği sunuyor. Ekibin kararında, Interop 2026 sürecindeki web geliştiricilerinden gelen tutarlı talepler belirleyici oldu. Chrome, formatın tarayıcılar arası uyumluluğunu sağlamak için test kapsamını genişletti. Geliştiriciler, en iyi sonuçları almak için AVIF ve JPEG XL formatlarını birlikte denemelerini öneriyor.

developer.chrome.com Hacker News yorumları

Anthropic, Claude Haiku 5.5 modelini piyasaya sürdü

Anthropic, Claude Haiku 5.5 modelini tanıttı. Şirket bu modeli en hızlı ve en yetenekli küçük modeli olarak nitelendiriyor. Model, özetleme, alt ajanlar ve tarayıcı kullanımı gibi yüksek hacimli işler için tasarlandı. Haiku 5.5, önceki sürüme göre ortalama yüzde 75 daha düşük maliyetle çalışıyor. Ayrıca model, Opus 5.5 ve Sonnet 5.5 ile birlikte kodlama işlerinde alt ajan olarak kullanılabiliyor. Anthropic, bu lansmanla birlikte Claude Sonnet 5.5'in önbellek okuma fiyatını yarıya indirerek çoğu ajan tabanlı işte maliyeti yaklaşık yüzde 20 düşürdü.

anthropic.com Hacker News yorumları

ShinyHunters' Boeing spin-off extortion attempt precedes key suspect's arrest

KrebsOnSecurity reports that ShinyHunters was actively extorting Jeppesen ForeFlight, a business unit Boeing divested last year, when Jordanian authorities detained the group's suspected leader. The suspect, identified as Saif Al-din Khader and known online as "Rey," was reportedly cooperating with the FBI. Sources indicate the FBI's investigation gained renewed urgency due to the attempted extortion, which allegedly involved the theft of sensitive data posing operational safety risks. Boeing stated its investigation found no impact on its operations or products.

krebsonsecurity.com Hacker News yorumları

PSP oyunları emülatör olmadan tarayıcıda çalışıyor

PSP oyunları artık emülatör gerektirmeden tarayıcıda çalıştırılabiliyor. Oyunun MIPS makine kodu önceden C++'a çevrilip WebAssembly'e derleniyor; bu kod, PSP işletim sistemi ve grafik çipinin yeniden implementasyonu ile WebGL2 üzerinden çalışıyor. İlk test edilen oyun God of War: Chains of Olympus oldu. Oyun, açılıştan menülere, sinematiklere ve dövüş sahnelerine kadar Chrome ve Firefox'ta 60 kare/saniye hızında çalışıyor. Müzik, ses efektleri ve konuşmalar işler durumda; ancak film sahneleri şu an için atlanıyor. Proje, kullanıcıların sahip olduğu oyun disk görüntülerini kendi makinelerinde web sayfasına dönüştürmesine olanak tanıyor.

github.com Hacker News yorumları

Kısa haberler

Apollo yazılım ekibinin lideri Margaret Hamilton 90 yaşında hayatını kaybetti. MIT Haberler, Apollo programında yazılım geliştirme ekibini yöneten Margaret Hamilton'ın 90 yaşında vefat ettiğini duyurdu. Hamilton, MIT'de 1959'dan 1970'lerin ortasına kadar çalıştı ve yazılım mühendisliğini bağımsız bir disiplin olarak kurmaya katkıda bulundu.

news.mit.edu Hacker News yorumları

LLM'ler telgraf dilinde yazarak token maliyetini düşürüyor. Travis Smith, modellerin telgraf operatörlerinin kullandığı sıkıştırılmış dilde yanıt verdiğinde API faturalarında %40-49 daha az token tüketildiğini gösteriyor. Dört farklı model ailesinden oluşan modeller, bu sıkıştırılmış kayıtlardan bilgiyi tam sadakatle geri kazanabiliyor. Yazar, bu yöntemin etkinliğini ölçmek için Telegraph Test adlı bir benchmark sunuyor.

fiveminutesforward.com Hacker News yorumları

TypeScript 7 derleyicisinin deneysel Rust portu yayımlandı. TypeScript 7 derleyicisinin deneysel Rust portu olan ts-rust, Linux x64 ve macOS arm64 platformlarında çalışıyor. Proje, TypeScript'in Go tabanlı derleyicisini Rust'a taşıyor ve mevcut tsc komut satırı, dil sunucusu ve API'sini koruyor.

github.com Hacker News yorumları

M-Vave FM-1 sentezörünün firmware'i tersine mühendislikle analiz edildi. GitHub'da paylaşılan proje, M-Vave FM-1'in JieLi AC791N/WL82 işlemci mimarisini ve OTA güncelleme protokolünü inceliyor. Analiz, donanım haritası ve boot zincirini detaylandırıyor; ancak güncelleme yolunun güvenli bir kurtarma mekanizması olmadığı vurgulanıyor.

github.com Hacker News yorumları