Kuantum fiziğinin en şaşırtıcı olaylarından biri olan Aharonov-Bohm etkisi, parçacıkların hiç maruz kalmadıkları güçlerden etkilenmesini açıklıyor. 1959'da öngörülen bu etki, elektronların manyetik alan içinden geçmeden bu alandan etkilenmesini tanımlıyor. Ancak bu fenomeni deneysel olarak doğrulamak son derece zordu. Okinawa Bilim ve Teknoloji Enstitüsü araştırmacıları, Oslo Üniversitesi ve Universidad Adolfo Ibáñez ile işbirliği yaparak, bu kuantum etkisini basit bir su tankı kullanarak simüle etmeyi başardı. Klasik akışkan dinamiği kullanarak gerçekleştirilen bu deney, kuantum mekaniğinin karmaşık özelliklerini anlamak için yeni bir yaklaşım sunuyor ve beklenmedik dalga desenlerini ortaya çıkarıyor.

Modern sistem çipleri (SoC) milyarlarca transistör içeren karmaşık yapılardır ve bu çiplerdeki bileşenler arası iletişimi anlamak kritik önem taşır. Araştırmacılar, karmaşık çip tasarımlarındaki mesaj akışlarını analiz eden AutoFlows++ adlı yeni bir yapay zeka sistemi geliştirdi. Bu sistem, çip bileşenleri arasındaki iletişim izlerini hiyerarşik bir yaklaşımla analiz ederek, daha önce çözülmesi zor olan karmaşık mesaj kalıplarını tespit edebiliyor. Sistem, çip doğrulama, performans analizi ve hata ayıklama süreçlerinde devrim yaratma potansiyeli taşıyor.

Araştırmacılar, USB Rubber Ducky gibi cihazlarla yapılan siber saldırıları tespit etmek için yeni bir yöntem geliştirdi. Bu saldırılar, bilgisayarların insan girdilerine güvenme özelliğini kötüye kullanarak otomatik tuş vuruşları enjekte ediyor. Mevcut savunma yöntemleri hız ve zamanlama temelli basit heuristiklere dayandığından kolayca atlatılabiliyor. Yeni yaklaşım, klavye dinamiklerini analiz ederek insan ve makine arasındaki farkları belirlemeye odaklanıyor. Bu çalışma, geleneksel davranışsal kimlik doğrulama yerine otomatik enjeksiyonu tespit etmeyi hedefliyor ve gizlilik endişelerini minimize ediyor. Siber güvenlik alanında önemli bir adım olan bu araştırma, HID emülasyon saldırılarına karşı daha etkili korunma yöntemleri geliştirilmesini sağlayabilir.

Araştırmacılar, büyük dil modellerini (LLM) temel alan yapay zeka ajanlarının otomatik yazılım analizi görevlerindeki başarısını ölçmek için AnalysisBench adlı yeni bir kıyaslama sistemi geliştirdi. Yazılım analizi araçlarının çeşitli açık kaynak projelere uygulanması, ortam kurulumu, bağımlılık çözümü ve araç yapılandırması gibi karmaşık süreçler nedeniyle oldukça zor bir görevdir. Bu çalışmada, 7 farklı analiz aracı ve 10 çeşitli C/C++ ile Java projesini kapsayan 35 araç-proje çifti üzerinde dört farklı ajan mimarisi test edildi. Özel olarak geliştirilen AnalysisAgent'ın manuel doğrulama ile yüksek başarı oranları elde ettiği rapor edildi. Bu araştırma, yapay zeka ajanlarının karmaşık yazılım geliştirme süreçlerini otomatikleştirme potansiyelini gösteriyor.

Araştırmacılar, tıbbi görüntüleri analiz edip klinik rapor yazabilen yeni bir yapay zeka sistemi geliştirdi. Google Gemini 2.5 Flash teknolojisini kullanan sistem, CT, MRI, röntgen ve ultrason görüntülerinde tümörleri tespit edebiliyor. Sistem görsel analiz ile dil işleme teknolojilerini birleştirerek, tıpkı bir doktor gibi görüntüleri yorumlayıp detaylı raporlar hazırlıyor. Koordinat doğrulama mekanizmaları ve olasılıksal modelleme ile anormallikleri belirleyebilen sistem, çok katmanlı görselleştirme teknikleri sayesinde doktorların güvenini artıracak detaylı medikal illüstrasyonlar üretiyor.

Araştırmacılar, polinom sinir ağlarının güvenilirliğini test etmek için matematiksel geometri tabanlı yeni bir yöntem geliştirdi. Çalışmada, yapay sinir ağlarının saldırılara karşı dayanıklılığını ölçmek için öklid mesafesi derecesi kullanılıyor. Bu yöntem, ağın karar sınırlarına olan mesafeyi hesaplayarak güvenlik yarıçapını belirliyor. Geliştirilen sembolik eliminasyon ve homotopi-devam yöntemleri, sinir ağlarının tam güvenlik sertifikasyonunu mümkün kılıyor. Lightning self-attention modülleri üzerinde yapılan deneyler, karar sınırlarının beklenenden daha düşük karmaşıklığa sahip olduğunu gösteriyor.

Araştırmacılar, yapay zeka modellerinin görüntü üretme sürecinde kullandığı token yapılarının nasıl optimize edilebileceğini araştırdı. Geleneksel 2D ızgara sistemi yerine, kaba detaydan ince detaya doğru çalışan 1D sıralı token sisteminin, test aşamasında çok daha etkili sonuçlar verdiği keşfedildi. Bu yenilikçi yaklaşım, ara aşamalardaki durumların anlamlı bilgi taşımasını sağlayarak, doğrulama algoritmalarının daha güvenilir değerlendirmeler yapmasına olanak tanıyor. Bulgular, gelecekte daha akıllı ve kontrol edilebilir görüntü üretim sistemlerinin geliştirilmesi için önemli bir adım oluşturuyor.

Araştırmacılar, büyük dil modellerinin yanlış bilgi üretme sorununu çözmek için FRANQ adında yeni bir sistem geliştirdi. Retrieval-Augmented Generation (RAG) teknolojisi kullanan yapay zeka sistemleri, internetten bilgi çekerek sorulara yanıt verirken bazen gerçek dışı bilgiler üretebiliyor. FRANQ, bu 'halüsinasyonları' tespit etmek için gelişmiş belirsizlik ölçüm tekniklerini kullanıyor ve doğru bilgiyle desteklenen ifadeleri yanlışlıkla hatalı olarak etiketleme sorununu çözüyor. Sistem, bir ifadenin kaynaklarla ne kadar uyumlu olduğunu ve gerçekte doğru olup olmadığını ayrı ayrı değerlendiriyor.

Araştırmacılar, günlük yaşamda sıkça kullandığımız küçük ölçekli yazılımların konfigürasyon yeteneklerini ilk kez kapsamlı bir şekilde inceledi. GNU coreutils paketindeki 108 programın analiz edildiği çalışmada, küçük programların bile program başına 76'ya kadar seçenek sunabildiği ortaya çıktı. Bu bulgular, yazılım geliştirme dünyasında artan konfigürasyon eğiliminin küçük ölçekli sistemlerde de geçerli olduğunu gösteriyor. Çalışma, özellikle sabit, özelleştirilmiş ve tekrarlanabilir yazılım geliştirme yaklaşımlarının popüler hale geldiği günümüzde önem taşıyor.

Süper bilgisayar sistemlerinde iş yüklerinin verimli dağıtılması, modern hesaplamalı bilim için kritik bir zorluktur. Geleneksel yazılım tabanlı zamanlayıcılar, öngörülemeyen iş yükleri karşısında yetersiz kalıyor ve kaynak kullanımı optimal seviyede gerçekleşmiyor. Araştırmacılar bu soruna donanım temelli bir çözüm getirdi: Hercules ve Stannic adlı iki FPGA destekli hızlandırıcı mimarisi. Bu yenilikçi sistemler, paralel işleme, ön hesaplama ve uzamsal bellek erişimi teknikleriyle zamanlama süreçlerini dramatik şekilde hızlandırıyor. Hercules görev odaklı, Stannic ise program odaklı yaklaşım benimsiyor. Bu gelişme, özellikle paylaşımlı süper bilgisayar kümelerinde kaynakların daha verimli kullanılmasını sağlayarak, bilimsel hesaplamaların hızını artırabilir.

Araştırmacılar, kuantum iletişim teknolojisini kullanarak fiziksel mesafe doğrulaması yapan sistemler için kapsamlı bir güvenlik çerçevesi geliştirdi. Distance-bounding protokolleri, hızlı meydan okuma-yanıt alışverişi yaparak bir nesnenin fiziksel uzaklığının üst sınırını belirlemeye yarar. Kuantum versiyonları daha basit ve güvenli olma vaadiyle geliyor, ancak şimdiye kadar tutarlı bir güvenlik analizi eksikti. Yeni çalışma, kuantum yetenekli saldırgan modelleri, zaman varsayımları ve çeşitli dolandırıcılık türlerine karşı koruma mekanizmalarını içeren standart bir çerçeve sunuyor. Bu gelişme, kuantum tabanlı güvenlik sistemlerinin pratik uygulamalarda daha güvenilir şekilde kullanılabilmesinin yolunu açıyor.