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.

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.

Araştırmacılar, büyük dil modellerinin mantıksal akıl yürütmedeki sistemik sorunlarına karşı yenilikçi bir çözüm geliştirdi. Bu modeller hipotez üretimi ile doğrulamayı karıştırıyor, varsayımları doğrulanmış bilgiden ayırt edemiyor ve zayıf mantık adımlarının çıkarım zincirlerinde kontrol edilmeden yayılmasına izin veriyor. Yeni framework, Charles Sanders Peirce'ün üçlü çıkarım teorisini temel alarak abdüksiyon, dedüksiyon ve indüksiyon süreçlerini açık bir protokol haline getiriyor. Beş cebirsel değişmez (Gamma Beşlisi) aracılığıyla mantıksal tutarlılığı zorluyor. Bunların en güçlüsü olan 'En Zayıf Halka' sınırı, akıl yürütme zincirindeki hiçbir sonucun en az desteklenen öncülünden daha güvenilir olamayacağını garanti ediyor.

Araştırmacılar, karmaşık matematiksel yapılar olan Belyi haritalarının özelliklerini kesin bir şekilde doğrulamak için yeni bir yöntem geliştirdi. Bu teknik, sertifikalı homotopi takibi kullanarak sayı alanları üzerindeki tam denklemlerden hareketle Belyi haritalarının monodromisini hesaplıyor. Geliştirilen sistem, L-fonksiyonları ve Modüler Formlar Veritabanı'ndaki binlerce Belyi haritasının matematiksel özelliklerini büyük ölçekte doğrulamak için kullanıldı. Bu çalışma, cebirsel geometri ve sayılar teorisi alanlarında önemli bir metodolojik ilerleme sunarak, karmaşık matematiksel nesnelerin özelliklerinin güvenilir bir şekilde hesaplanmasını mümkün kılıyor.

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, büyük dil modellerinin rehberliğinde evrimsel arama kullanarak basit ve anlaşılır algoritmalar keşfeden EVIL adlı yeni bir yaklaşım geliştirdi. Bu sistem, büyük veri setleri üzerinde sinir ağları eğitmek yerine, farklı veri setlerinde sıfır-atışlı çıkarım yapabilen saf Python/NumPy programları evrimleştiriyor. Sistem üç farklı alanda test edildi: zamansal nokta süreçlerinde bir sonraki olayı tahmin etme, Markov atlama süreçleri için oran matrisi tahmini ve zaman serisi tamamlama. Her durumda, evrimleşen tek bir algoritma tüm değerlendirme veri setlerinde veri seti başına özel eğitime ihtiyaç duymadan genelleme başarısı gösterdi. Bu çalışma, LLM destekli program evriminin dinamik sistemler problemleri için tek bir kompakt çıkarım fonksiyonu keşfedebileceğini gösteren ilk araştırma olma özelliği taşıyor.

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.

Büyük dil modelleri kod yazma ve metin üretmede başarılı olsalar da, bilimsel alanlarda matematiksel akıl yürütme yetenekleri henüz yeterince keşfedilmemişti. Yeni bir araştırma, yapay zekanın optik iletişim alanında formül türetme konusunda ne kadar ileri gittiğini gösteriyor. Araştırmacılar, fiber optik kablolardaki doğrusal olmayan girişim modellemesi için özel yapılandırılmış komutlar kullanarak bir dil modelini yönlendirdiler. Model, bilinen ISRS GN ifadelerini başarıyla yeniden oluşturmakla kalmadı, aynı zamanda çok aralıklı C ve C+L band iletimler için yeni bir yaklaşım formülü türetti. Sayısal doğrulamalar, yapay zeka tarafından türetilen modelin temel modellerle neredeyse özdeş sonuçlar ürettiğini ve tüm kanallar ve aralıklarda ortalama mutlak hatanın 0.109 dB'nin altında kaldığını ortaya koydu.

Araştırmacılar, yazılım kodlarındaki güvenlik açıklarını ve bakım sorunlarını tespit edip otomatik olarak onarabilen yeni bir yapay zeka sistemi geliştirdi. 'Code Whisperer' adlı bu hibrit framework, graf tabanlı program analizi ile büyük dil modellerini birleştiriyor. Sistem, kodun yapısal özelliklerini ve anlamsal bağlamını aynı anda değerlendirerek, mevcut araçların ürettiği gereksiz uyarıları azaltıyor ve daha kullanışlı çözüm önerileri sunuyor. Çoklu programlama dili desteği sunan sistem, sadece graf analizi veya sadece dil modeli kullanan yaklaşımlardan daha başarılı sonuçlar elde ediyor.