Araştırmacılar, büyük dil modellerinin çıkarım hızını artırmak için FLy adlı yeni bir yöntem geliştirdi. Geleneksel spekülatif kod çözme yöntemleri sadece tam eşleşen token'ları kabul ederken, FLy semantik olarak doğru ancak farklı ifadeleri de değerlendiriyor. Sistem, entropy tabanlı iki katmanlı bir mekanizma kullanarak hangi durumlarda alternatif token'ların kabul edilebileceğini belirliyor. Bu yaklaşım, modelin kendi kendini düzeltme yeteneğinden faydalanarak daha esnek bir doğrulama kriteri sunuyor. Özellikle dağıtım dışı görevlerde performans kaybı yaşayan mevcut yöntemlere alternatif olan FLy, ek eğitim gerektirmeden çalışabiliyor.

Türk ve uluslararası araştırmacılar, kuantum mekaniğindeki gizli değişkenleri kullanarak zaman yolculuğunun teorik olarak mümkün olduğunu öne süren yeni bir çalışma yayınladı. Mezoskopik sistemlerdeki yerel kısmi durum yoğunluğu (LPDOS) kavramını kullanan araştırma, bu parametrenin negatif değerler aldığında zaman yolculuğuna olanak sağlayabileceğini iddia ediyor. Çalışma, kuantum ölçüm problemine yeni bir bakış açısı getirirken, Landauer iletkenliğini yeniden yorumluyor. Araştırmacılar, dolaylı deneysel kanıtların varlığından bahsederek, doğrudan deneysel doğrulama beklediklerini belirtiyor. Bu teorik çerçeve, klasik ve kuantum dünyalar arasındaki ara rejimi deneysel olarak inceleme imkanı sunan mezoskopik sistemlere odaklanıyor.

Araştırmacılar, yapay zekanın görsel problemleri çözerken yaşadığı temel sorunu ele aldı. Mevcut sistemler görselleri algılayabiliyor ama mantıksal yapıları kavrayamıyor. Yeni geliştirilen 'Thinking with Drafting' (TwD) yöntemi, yapay zekanın görsel bilgiyi mantıksal kod yapısına dönüştürmesini sağlıyor. Bu yaklaşım, sistemin doğrudan cevap üretmek yerine düşünce sürecini kodlayarak kendini doğrulamasına olanak tanıyor. Görsel algının mantıksal yapıya dönüştürülmesi süreci 'optik dekompresyon' olarak adlandırılıyor.

Araştırmacılar, Afrikanka dillerde yanlış bilgiyle mücadele etmek için özel bir yapay zeka sistemi geliştirdi. AfrIFact adlı bu sistem, on farklı Afrika dilinde ve İngilizcede haber doğrulama işlemi gerçekleştirebiliyor. Sistem, bilgi arama, kanıt toplama ve doğruluk kontrolü olmak üzere üç aşamada çalışıyor. Araştırma sonuçları, mevcut yapay zeka modellerinin farklı diller arasında bilgi arama konusunda yetersiz kaldığını ortaya koydu. Özellikle sağlık alanındaki belgelerin doğruluğunu kontrol etmek, kültürel ve haber içeriklerine göre daha zor olduğu belirlendi. Çalışma, az kaynaklı dillerde yanlış bilgi yayılımının önlenmesi açısından önemli bir adım olarak değerlendiriliyor.

ChatGPT gibi büyük dil modelleri, geniş bilgi birikimleriyle birçok alanda kullanılsa da yanlış bilgi üretme eğilimi gösteriyor. Bu durum sağlık, gazetecilik ve eğitim gibi kritik alanlarda ciddi endişelere yol açıyor. Araştırmacılar, yapay zeka sistemlerindeki faktüel hataları otomatik olarak tespit edebilen HalluHunter adlı yenilikçi bir sistem geliştirdi. Bu sistem, bilgi grafları kullanarak çeşitli soru türleri oluşturuyor ve yapay zekanın verdiği yanıtları sistematik olarak doğruluk açısından test ediyor. Mevcut doğrulama yöntemlerinin aksine, insan emeğine ihtiyaç duymadan çalışabilen bu sistem, yapay zeka güvenilirliğini artırmada önemli bir adım olarak değerlendiriliyor.

Modern endüstriyel sistemlerin artan karmaşıklığı ve otomasyon ihtiyacı, model tabanlı sistem mühendisliğinde tutarlı ve semantik olarak doğrulanmış modeller gerektiriyor. Araştırmacılar, Object Constraint Language (OCL) kısıtlamalarını ve doğrulama sonuçlarını Asset Administration Shell teknolojisi üzerinden yönetmek için yeni bir yaklaşım geliştirdi. Bu sistem, farklı araçlarda ayrı ayrı yönetilen MBSE modelleri ile OCL kısıtlamaları arasındaki boşluğu doldurarak, manuel işlemleri azaltmaya odaklanıyor. Endüstriyel sistemlerde birlikte çalışabilirlik için köklü bir teknoloji olan Asset Administration Shell kullanılarak, model kısıtlamalarının uygulanması ve sonuçların yorumlanması süreçleri otomatikleştiriliyor.

Kuantum bilgisayarların pratik kullanımına geçildiği NISQ döneminde, kuantum devrelerinin doğruluğunu ve bütünlüğünü sağlamak kritik bir zorluk haline geldi. Araştırmacılar, mevcut doğrulama yöntemlerinin yetersiz kaldığını göstererek, üç farklı katmanda analiz yapan yenilikçi bir değerlendirme sistemi geliştirdi. Yapısal benzerliğin tek başına davranışsal eşdeğerliği garanti etmediğini ortaya koyan çalışma, kuantum devrelerinin güvenilirliğini artırma konusunda önemli bir adım atıyor.

Araştırmacılar, büyük dil modellerinin yavaş çalışma problemine yenilikçi bir çözüm geliştirdi. SpecTr-GBV adlı yeni yöntem, küçük bir yardımcı model ile büyük modelin birlikte çalışmasını optimize ederek işlem hızını artırıyor. Sistem, önce hızlı bir model ile aday metinler üretiyor, sonra ana model bunları doğruluyor. Bu yaklaşım, hem çoklu taslak stratejilerini hem de blok doğrulama tekniklerini birleştirerek mevcut yöntemlerden daha verimli sonuçlar elde ediyor. Optimal taşıma teorisi kullanılarak geliştirilen bu framework, yapay zeka uygulamalarının daha hızlı çalışmasını sağlayabilir.

Araştırmacılar, tıbbi görüntüleme teknolojisi PET taramalarında kritik olan pozitron-elektron çiftlerinin yok oluş sürecini daha hassas modelleyebilen yeni bir sistem geliştirdiler. Geant4 simülasyon platformu üzerine kurulu bu sistem, pozitron yok olurken ortaya çıkan foton emisyonlarını kontrollü şekilde taklit edebiliyor. Özellikle pozitronium ara durumlarının farklı türlerini (para ve orto) ayrı ayrı modelleyerek, iki veya üç foton çıkışlı reaksiyonları kullanıcının istediği oranlarda simüle edebiliyor. Bu gelişme, PET cihazlarının daha doğru kalibrasyonu ve geliştirilmesi açısından önemli bir adım. Sistem, gerçek zamanlı olarak bozunma sürelerini ve foton emisyon geometrilerini kontrol ederken, doğrulama için gerekli tüm veriyi kayıt altında tutuyor.

Bilim insanları, yer gözlem uydularının görev planlaması için kapsamlı bir değerlendirme platformu geliştirdi. EOS-Bench adı verilen bu sistem, yeni nesil çevik uyduların artan operasyonel karmaşıklığına çözüm arıyor. Platform, yüksek hassasiyetli yörünge dinamikleri ve platform kısıtlamalarını entegre ederek 1.390 senaryo ve 13.900 test örneği üretiyor. Küçük ölçekli doğrulama vakalarından 1.000 uyduya ve 10.000 isteğe kadar çıkabilen büyük koordinasyon problemlerine uzanan geniş bir yelpazeyi kapsıyor. Bu gelişme, uzay misyon operasyonlarında algoritma karşılaştırmasını standardize edecek ve gelecekteki uydu operasyonlarının verimliliğini artıracak.

Büyük dil modelleri matematik teoremlerini ispatlama konusunda büyük potansiyel gösterse de, mevcut yöntemler çok fazla hesaplama gücü gerektiriyor. Araştırmacılar, derleyicilerin hata ayıklama süreçlerinden ilham alan yenilikçi bir yaklaşım geliştirdi. Yeni yöntem, ispat denemelerinin çeşitliliğini kompakt hata modelleriyle sıkıştırarak, yapay zekanın teorem ispatlama yeteneklerini önemli ölçüde artırıyor. Bu gelişme, formal matematik doğrulamasında hesaplama maliyetlerini düşürürken performansı yükseltmesi açısından önemli bir adım.