Araştırmacılar, donanım doğrulama süreçlerinde kullanılan büyük dil modellerinin (LLM) hesaplama kaynaklarını nasıl dağıttığını ve hangi sınırlarla karşılaştığını inceledi. Donanım doğrulamanın en zaman alıcı aşaması olan 'kapsam kapama' sürecinde, yapay zeka tabanlı ajanların otomatik test üretimi için umut vadeden bir yaklaşım sunmasına rağmen, bazı temel sınırlılıkları olduğu ortaya çıktı. Çalışma, Codex ve LangGraph sistemlerini kullanan iki katmanlı bir çerçeve ile yapıldı. Sonuçlar, bazı kapsam boşluklarının metodolojik sınırlar nedeniyle kapatılamadığını, bazılarının ise karmaşık mantık yürütme gerektirdiğini gösterdi. Bu bulgular, yapay zekanın donanım doğrulamadaki etkinlik sınırlarını ve başarısızlık modlarını daha iyi anlamamızı sağlıyor.

Araştırmacılar, optimal kontrol sistemi kullanan otonom araçlar ve robotlar için yeni bir güvenlik doğrulama algoritması geliştirdi. Çalışma, optimal kontrolörlerin her zaman mükemmel çözüm bulamayabileceği gerçeğinden hareketle, bu durumlarda bile sistemlerin güvenli kalmasını sağlayacak bir erişebilirlik analizi sunuyor. Gradyan inişi algoritmalarını ayrı bir dinamik sistem olarak ele alan yöntem, fiziksel sistemle birlikte çalışarak kontrolörlerin gerçek zamanlı performansını değerlendiriyor. Bu yaklaşım, karmaşıklaşan sistem dinamikleri ve hesaplama kısıtları altında çalışan otonom sistemlerin güvenliğini garanti altına almak için kritik önem taşıyor.

QBF Gallery 2023, quantified Boolean formulas (QBF) olarak bilinen karmaşık mantıksal problemleri çözen algoritmaların performansını değerlendiren kapsamlı bir araştırma raporu yayınladı. Bu değerlendirme etkinliği, dünya çapından araştırmacıların geliştirdiği yeni çözücü algoritmaları ve test senaryolarını bir araya getirerek, alandaki en son gelişmeleri belgeledi. Araştırmacılar, farklı algoritmaların güçlü ve zayıf yönlerini karşılaştırmalı olarak analiz etti ve herkese açık bir benchmark veri seti oluşturdu. QBF problemleri, yapay zeka, donanım tasarımı ve otomatik doğrulama gibi kritik alanlarda kullanılan temel mantıksal araçlar olduğu için, bu çalışma gelecekteki teknolojik gelişmeler için önemli bir referans noktası oluşturuyor.

Görüntü ve dil işleme yeteneklerine sahip yapay zeka modellerinin en büyük sorunlarından biri halüsinasyon - yani gerçekte olmayan şeyleri görüyormuş gibi davranması. Araştırmacılar, bu sorunu çözmek için VIB-Probe adlı yeni bir sistem geliştirdi. Bu teknoloji, yapay zekanın iç mekanizmalarını inceleyerek hangi dikkat başlıklarının doğru bilgi ürettiğini tespit ediyor. Varyasyonel Bilgi Darboğazı teorisini kullanan sistem, gereksiz bilgi gürültüsünü filtrelerken önemli kalıpları yakalıyor. Mevcut yöntemler çoğunlukla çıktıları kontrol ederken, VIB-Probe sistemin içini inceleyerek sorunun kaynağına iniyor. Bu gelişme, görsel-dilsel görevlerde çalışan yapay zeka modellerinin güvenilirliğini artırabilir.

Araştırmacılar, dudak hareketlerini analiz ederek kişi tanıma yapabilen yenilikçi bir sistem geliştirdi. NeuroLip adlı bu teknoloji, ses yokken bile bireyleri tanıyabilecek sessiz ve pratik bir biyometrik çözüm sunuyor. Geleneksel yöntemlerden farklı olarak, kişilerin konuşma sırasındaki benzersiz dudak dinamiklerini ve kas koordinasyonlarını analiz ediyor. Sistem, olay tabanlı kameralar kullanarak hareket bulanıklığı ve düşük dinamik aralık gibi sorunları çözüyor. En dikkat çekici özelliği ise tek bir kontrollü ortamda eğitildikten sonra, farklı aydınlatma ve görüş koşullarında bile başarılı tanıma yapabilmesi. Bu teknoloji güvenlik sistemleri, erişim kontrolü ve sessiz kimlik doğrulama uygulamalarında devrim yaratabilir.

Dolandırıcılık tespiti, kredi skorlama ve tıbbi risk değerlendirmesi gibi yapay zeka sistemleri gecikmiş doğrulama sorunu yaşıyor - karar alındıktan günler hatta aylar sonra sonuç etiketleri geldiği için. Bu 'kör dönem' boyunca sistemin yönetim kanıtları bozulurken, mevcut sapma tespit yöntemleri yetersiz kalıyor. Araştırmacılar bu soruna çözüm için dört boyutlu kanıt yeterlilik modeli geliştirdi: tamlık, güncellik, güvenilirlik ve temsil edilebilirlik. Model, etiket gecikmesinin kanıt kalitesini nasıl düşürdüğünü ölçen karar hazırlığı kapısı içeriyor. Ayrıca yedi kategorilik vekil gösterge çerçevesi, etiketler olmadan yeterlilik bozulmasını tahmin ediyor. IEEE-CIS Dolandırıcılık Tespit veri setinde yaklaşık 590 bin işlemle test edilen sistem, yapay zeka güvenliğinde önemli adım.

Araştırmacılar, yapay zeka sistemlerinin gerçek akıl yürütme yeteneklerini test etmek için ARC-AGI-3 adlı yeni bir benchmark geliştirdi. Bu test, yapay zeka ajanlarının açık talimat olmadan çevre dinamiklerini öğrenmesi, hedefleri çıkarsaması ve etkili eylem planları oluşturması gereken soyut, etkileşimli ortamlar sunuyor. Test sonuçları çarpıcı: İnsanlar bu görevlerin tamamını çözebilirken, 2026 Mart itibariyle en gelişmiş YZ sistemleri %1'den düşük başarı oranı gösteriyor. ARC-AGI-3, dil ve harici bilgi kullanımından kaçınarak sadece temel bilişsel yeteneklere odaklanıyor ve insan test katılımcılarıyla kapsamlı doğrulama sürecinden geçiriliyor. Bu büyük performans farkı, mevcut YZ teknolojilerinin gerçek genel zeka seviyesine ulaşmak için hâlâ önemli mesafe kat etmesi gerektiğini ortaya koyuyor.

Araştırmacılar, endüstriyel IoT cihazları için yeni bir güvenlik doğrulama sistemi geliştirdi. Bu sistem, her cihazın benzersiz donanım özelliklerini kullanarak dijital parmak izi oluşturuyor. SRAM bellek hücrelerindeki üretim farklılıklarından yararlanan teknik, Hamming kod düzeltmesi ve çoğunluk oylama yöntemleriyle destekleniyor. Geliştirilen sistem, kimlik doğrulama sonrası hata oranını %1'in altında tutmayı başarıyor. Bu yaklaşım, kaynak kısıtlı endüstriyel cihazlarda güvenli kimlik doğrulama sağlarken, hesaplama yükünü minimum seviyede tutuyor. Araştırma, güvenlik ve güvenilirlik arasındaki dengeyi optimize etmek için tasarım bütçesi kavramını sunuyor.

Bilim insanları, nesnelerin interneti (IoT) cihazları için devrim niteliğinde bir güvenlik çözümü geliştirdi. Bu yenilik, SWIPT (Simultaneous Wireless Information and Power Transfer) teknolojisini kullanan IoT ağlarında güvenliği artırırken enerji tüketimini minimal düzeyde tutuyor. Backscatter tabanlı kimlik doğrulama mekanizması sayesinde, cihazlar geleneksel RF alıcı-vericilerini aktif hale getirmeden güvenli iletişim kurabilmekte. Araştırmacılar, protokolden bağımsız çalışan bu çözümün minimal donanım değişikliği gerektirdiğini ve mevcut LoRaWAN şifrelemesindeki güvenlik açıklarını giderdiğini gösterdi. Pil gerektirmeyen sensör düğümlerinde test edilen sistem, özellikle enerji kısıtlı ortamlarda çalışan IoT cihazları için büyük önem taşıyor.

Araştırmacılar, yapay zeka modellerinin matematik problemlerini çözerken yaşadığı 'grokking' fenomeninin nedenini keşfetti. Transformer modellerin eğitim verilerini öğrendikten sonra genelleme yapabilmesi arasında geçen uzun sürenin, bilgiyi işleyen encoder bölümünün öğrendiği yapıyı decoder bölümüne aktaramamasından kaynaklandığı ortaya çıktı. MIT araştırmacıları Collatz tahmin problemini kullanarak yaptıkları deneylerde, encoder'ın sayısal yapıları binlerce adımda öğrendiğini ancak çıktı doğruluğunun on binlerce adım boyunca şans seviyesinde kaldığını gözlemledi. Bu bulgular, AI modellerinin öğrenme süreçlerinin daha iyi anlaşılması ve optimize edilmesi açısından kritik önem taşıyor.

Siber-fiziksel sistemler (CPS), hesaplama ve fiziksel süreçleri birleştiren karmaşık yapılardır. Ancak mevcut mühendislik yaklaşımları, bu sistemlerin çalıştırılma semantiğini yeterince dikkate almıyor. Araştırmacılar, doğrulanmış model davranışları ile gerçek çalıştırma davranışları arasındaki boşluğu kapatmak için yeni bir yaklaşım öneriyor. Bu yaklaşımda, çalıştırma semantiği birinci sınıf mühendislik varlıkları olarak ele alınıyor. Geleneksel formal doğrulama yöntemleri sabit semantik varsayımlarla çalışırken, simülasyon tabanlı doğrulama ise fiziksel kısıtlamaları göz ardı ediyor. Yeni yaklaşım, fiziksel çalıştırma kısıtlamalarını implementasyon detayları yerine semantik sınır koşulları olarak değerlendiriyor. Bu çalışma, CPS mühendisliğinde modelleme ve simülasyon tabanlı yeni bir paradigma sunarak, daha güvenilir ve gerçekçi sistem geliştirme süreçlerinin temelini atıyor.