Araştırmacılar, bilgisayar sistemlerinin güvenlik ve gizlilik özelliklerini doğrulamak için HyperCertificates adı verilen yeni bir matematiksel framework geliştirdi. Bu yöntem, geleneksel doğrulama tekniklerinin ötesine geçerek, sistemlerin birden fazla çalışma senaryosu arasındaki ilişkileri analiz ediyor. HyperLTL mantıksal formüllerini kullanan sistem, özellikle gizlilik, şeffaflık ve dayanıklılık gibi kritik güvenlik özelliklerini değerlendirmede öne çıkıyor. Yöntem, öngörü modelleme ve bariyer fonksiyonlarını birleştirerek dinamik sistemlerin karmaşık davranışlarını matematiksel olarak kanıtlayabiliyor. Bu gelişme, otonom araçlardan finansal sistemlere kadar geniş bir yelpazede kullanılabilecek daha güvenilir yazılım sistemlerinin tasarlanmasına katkı sağlayabilir.

Araştırmacılar, büyük dil modellerinin finansal senaryolardaki güvenlik açıklarını değerlendirmek için FinSafetyBench adlı yeni bir test sistemi geliştirdi. Bu iki dilli (İngilizce-Çince) değerlendirme platformu, yapay zeka modellerinin finansal uyum kurallarını ihlal eden talepleri reddetme kapasitesini ölçüyor. Gerçek finansal suç vakalarına dayanan test, 14 farklı kategoriyi kapsıyor ve hem genel amaçlı hem de finansa özel yapay zeka modellerinde kritik güvenlik boşlukları tespit etti. Özellikle Çince bağlamlarda modellerin daha savunmasız olduğu ve sofistike saldırılara karşı istem düzeyindeki savunmaların yetersiz kaldığı ortaya çıktı. Bu bulgular, finansal sektörde kullanılan yapay zeka sistemlerinin güvenlik önlemlerinin güçlendirilmesi gerektiğini gösteriyor.

Araştırmacılar, hasta-odaklı tıbbi AI chatbotlarda ciddi güvenlik ve gizlilik açıklarının bulunduğunu ortaya çıkardı. Retrieval-augmented generation (RAG) teknolojisi kullanan bu chatbotlarda yapılan güvenlik değerlendirmesi, hassas sistem bilgilerinin ve hasta verilerinin ifşa olabileceğini gösterdi. Çalışma, AI destekli geliştirme araçlarının bu tür uygulamaları oluşturmayı kolaylaştırsa da, sağlık alanında güvenli yapay zeka dağıtımı için sıkı güvenlik ve yönetişim kontrollerinin kritik önemini vurguluyor. Bu bulgular, tıbbi AI sistemlerinin klinik kullanıma hazırlanmasında güvenlik protokollerinin ihmal edilmemesi gerektiğini ortaya koyuyor.

IBM'in kuantum işlemcilerinde yapılan yeni araştırma, bulut tabanlı kuantum bilgisayarlarda ciddi güvenlik sorunları ortaya çıkardı. Araştırmacılar, aynı anda çalışan kuantum devrelerinin birbirini etkileyerek veri güvenliğini tehdit ettiğini keşfetti. Yedi farklı IBM işlemcisinde test edilen beş temel kuantum algoritması, tahmin edilebilir girişim desenleri gösterdi. Bu bulgular, kuantum bulut bilişimde çoklu kullanıcı sistemlerinin güvenliğine dair önemli sorular ortaya koyuyor. Özellikle Grover Algoritması gibi 'agresif' devrelerin diğer kullanıcıların işlemlerini önemli ölçüde etkileyebildiği görüldü. Kuantum bilgisayarların ticari kullanımının artmasıyla birlikte bu güvenlik açıklarının kapatılması kritik önem kazanıyor.

İngiltere'nin ulusal sağlık sistemi NHS, yapay zeka modellerinin siber saldırı yeteneklerinden endişe ederek açık kaynak politikasını değiştiriyor. Kamu parasıyla geliştirilen tüm yazılımları halka açık yapma kuralından vazgeçen NHS, özellikle Mythos gibi bilgisayar korsanlığı yapabilen AI modellerinin tehdit oluşturduğunu belirtiyor. Bu karar, şeffaflık ile güvenlik arasındaki dengeyi yeniden tanımlarken, yapay zekanın siber güvenlik alanındaki artan etkisini de gözler önüne seriyor. Sağlık verilerinin korunması kritik önem taşırken, açık kaynak yazılımın faydalarından vazgeçmek de tartışma yaratıyor.

Yapay zeka destekli robotik sistemler, sert ve öngörülebilir malzemelerle çalışmada başarılı olsa da, tekstil ve benzeri esnek malzemelerle üretim yapmak farklı bir zorluk seviyesi gerektiriyor. Createme CEO'su, fiziksel yapay zekanın gerçek potansiyelini ortaya çıkarabilmesi için bu deformasyon özelliği gösteren malzemelerle başa çıkabilmesi gerektiğini vurguluyor. Geleneksel robotik sistemler, kumaş, deri ve benzeri malzemelerin öngörülemeyen davranışları karşısında yetersiz kalıyor. Bu durum, özellikle tekstil endüstrisi ve giyim üretiminde yapay zeka destekli otomasyon için kritik bir engel oluşturuyor. Uzmanlar, doğru yaklaşım ve yazılım desteğiyle bu zorluğun aşılabileceğini, bunun da fiziksel AI'ın üretim sektöründeki gerçek devrimini başlatabileceğini belirtiyor.

Düşük Dünya yörüngesinde binlerce uydudan oluşan mega takımyıldızları, geleneksel internet altyapısının sınırlarını aşmak için geliştirilirken, bu devasa uydu ağlarının yönetimi büyük zorluklar yaratıyor. Araştırmacılar, Starlink gibi mega konstelasyonları için hiyerarşik yazılım tanımlı ağ çerçevesi geliştirdi. Bu yenilikçi yaklaşım, graf sinir ağlarını kullanarak uydu topografyasını kompakt bir şekilde temsil ediyor ve Koopman teorisiyle doğrusal olmayan dinamikleri basitleştiriyor. Sistem, her yörünge kabuğu için uzamsal-zamansal davranışları öngörüyor ve merkezi kontrol ünitesi bu tahminleri küresel ölçekte koordine ediyor. Bu teknoloji, gelecekteki uzay tabanlı internet altyapısının temelini oluşturabilir.

Büyük dil modelleri (LLM'ler) kod düzenlemede giderek daha fazla kullanılıyor, ancak mevcut tam kod üretme yöntemi ciddi verimlilik sorunları yaratıyor. Araştırmacılar, geleneksel diff formatlarının LLM'ler için doğal olmayan yapısını analiz ederek, BlockDiff ve FuncDiff adlı yeni struktur-bilinçli formatlar geliştirdi. Bu formatlar, değişiklikleri kontrol yapıları ve fonksiyonlar gibi sözdizimsel açıdan tutarlı birimler halinde temsil ediyor. Ayrıca AdaEdit stratejisi, modellerin en verimli format ile tam kod arasında dinamik seçim yapmasını sağlıyor. Bu yenilik, interaktif kodlama asistanlarının düşük gecikme ve maliyet gereksinimlerini karşılamada önemli bir adım.

Araştırmacılar, yapay zeka ajanlarının web sitesi geliştirme sürecinde karşılaştığı kritik bir sorunu ortaya koydu. Mevcut sistemler, uzman olmayan kullanıcıların belirsiz ve kalitesiz talimatlarını anlayamadığında 'körü körüne çalışma' moduna geçiyor. Bu durum, gerçek dünya koşullarında ciddi başarısızlıklara yol açıyor. InteractWeb-Bench adlı yeni test platformu, bu sorunu çözmek için farklı kullanıcı davranışlarını simüle ederek yapay zeka ajanlarının performansını değerlendiriyor. Çalışma, web geliştirme alanında yapay zeka teknolojisinin pratik kullanımındaki önemli açıkları gözler önüne seriyor.

Araştırmacılar, büyük dil modellerinin kod yazma yeteneklerini geliştirmek için ScaleBox adlı yeni bir sistem geliştirdi. Mevcut kod doğrulama sistemleri yüksek iş yükü altında yetersiz kalırken, ScaleBox hem doğruluğu artırıyor hem de büyük ölçekte verimli çalışabiliyor. Sistem, otomatik özel yargıç üretimi, paralel test çalıştırma ve çok düğümlü koordinasyon gibi özellikler sunuyor. Deneyler, ScaleBox'ın kod doğrulama hassasiyetini ve verimliliğini önemli ölçüde artırdığını gösteriyor. LiveCodeBench performans testlerinde de sistemi kullanan modellerin belirgin şekilde daha iyi sonuçlar aldığı gözlemleniyor.

Araştırmacılar, yapay zeka modellerinin bilimsel makaleleri ne kadar iyi anlayabildiğini ölçmek için yeni bir değerlendirme sistemi geliştirdi. RPC-Bench adlı bu sistem, yüksek kaliteli bilgisayar bilimi makalelerinden türetilmiş 15 bin soru-cevap çiftini içeriyor. Sistem, yapay zeka modellerinin bilimsel metinlerdeki 'neden', 'ne' ve 'nasıl' sorularını yanıtlama becerisini detaylı şekilde test ediyor. Çalışma, mevcut en güçlü yapay zeka modellerinin bile bilimsel literatürü tam olarak kavramakta zorlandığını ortaya koyuyor. Bu değerlendirme aracı, bilimsel araştırmalarda yapay zeka kullanımının geliştirilmesi için önemli bir adım teşkil ediyor.