Araştırmacılar, büyük moleküllerin kuantum kimyasal özelliklerini hesaplamada karşılaşılan hesaplama darboğazını aşmak için DeepHartree adlı yenilikçi bir yapay zeka sistemi geliştirdi. Yoğunluk fonksiyonel teorisi (DFT) hesaplamalarında kritik olan Hartree potansiyelini hesaplama sürecini O(N⁴) karmaşıklığından neredeyse doğrusal O(N) seviyesine indiren bu sistem, GPU hızlandırması kullanıyor. Poisson denklemini yapay sinir ağlarıyla birleştiren DeepHartree, elektron yoğunluğu ve Hartree potansiyelini eş zamanlı olarak tahmin ederek, büyük moleküler sistemlerin analizini önemli ölçüde hızlandırıyor. Bu gelişme, ilaç keşfi, malzeme bilimi ve kataliz araştırmalarında yeni olanaklar sunabilir.

Malzeme biliminde yapay zeka kullanımının artmasıyla birlikte, öğrencilerin bu teknolojiyi etkili şekilde kullanabilmesi için yeni bir eğitim yaklaşımına ihtiyaç duyuluyor. Araştırmacılar, sadece AI araçlarına erişim sağlamanın yeterli olmadığını, bunun yerine bilimsel muhakeme becerilerini destekleyen kapsamlı bir AI okuryazarlığı modelinin gerekli olduğunu savunuyor. Yeni framework, veri kaynağı analizi, model doğrulama, belirsizlik hesaplama ve fizik tabanlı akıl yürütme gibi malzeme bilimi odaklı becerileri kapsıyor. Bu yaklaşım, gelecekteki bilim insanlarının AI'yi körü körüne kullanmak yerine, bilimsel yargıyla harmanlayarak daha etkili araştırmalar yapabilmesini hedefliyor.

Araştırmacılar, eliptik eğri kriptografisini hedef alan Shor algoritmasının uygulamalarında kritik bir güvenlik açığını ortaya çıkardı. Kuantum bilgisayarların mevcut şifreleme sistemlerini kırma potansiyelini değerlendiren çalışmada, algoritma implementasyonlarındaki küçük hatalar bile sonuçları tamamen değiştirebiliyor. Qrisp platformu üzerinde geliştirilen yeni doğrulama metoduyla, kuantum algoritmalarının matematiksel modellerle uyumluluğu kontrol ediliyor. Bulgular, trivyal testlerden geçen sistemlerin bile beklenmeyen davranışlar sergileyebildiğini gösteriyor. Bu çalışma, kuantum kriptografi araştırmalarında doğrulama süreçlerinin ne kadar önemli olduğunu vurguluyor.

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.

Elektrik-bilgisayar mühendisliği ve bilgisayar bilimi alanlarında güçlü deneysel çalışmalar yapmanın anahtarı, tek bir etkileyici sayıdan çok daha fazlasına dayanır. ArXiv'de yayınlanan yeni bir rehber, başlangıç düzeyindeki araştırmacılara istatistiksel değerlendirme sürecini adım adım açıklıyor. Tasarım, ölçüm, analiz ve doğrulama seçimlerinin nasıl bir araya getirilerek inandırıcı sonuçlar elde edileceğini gösteren bu pratik kılavuz, özellikle sistem ağları ve uygulamalı makine öğrenmesi alanlarında çalışan bilimciler için hazırlandı. Rehber, klasik istatistiksel yöntemlerden modern dağılım-bağımsız tekniklere kadar geniş bir yelpazede araçları ele alarak, araştırmacıların bulgularını savunulabilir şekilde sunmalarına yardımcı olmayı hedefliyor.

Araştırmacılar, elektrik şebekelerinin güvenli ve ekonomik işletimi için kritik öneme sahip güvenlik kısıtlı güç akış optimizasyonu problemlerini çözmek üzere yenilikçi bir yaklaşım geliştirdi. Yapay zeka doğrulama alanından ödünç alınan Interval Bound Propagation (IBP) tekniğini kullanan bu yöntem, binlerce güvenlik kısıtını içeren büyük sistemlerde bile hızlı sonuçlar üretiyor. Geleneksel ticari çözücülerin performansının sistem büyüklüğü ve acil durum senaryoları arttığında düştüğü durumlarda, yeni yaklaşım %3,98'in altında ortalama hata payıyla sertifikalı sınırlar hesaplayabiliyor. Bu gelişme, şebeke operatörlerinin daha büyük ve karmaşık sistemlerde bile güvenilir karar verebilmesini sağlayacak.

Araştırmacılar, yapay zeka modellerinin metin üretim hızını artırmak için EVICT adlı yeni bir sistem geliştirdi. Bu sistem, özellikle karmaşık Mixture-of-Experts (MoE) modellerinde yaşanan performans sorunlarını çözerek, gereksiz hesaplamaları ortadan kaldırıyor. EVICT, ağaç tabanlı tahmini kod çözme tekniğini optimize ederek, sadece faydalı token'ları doğrulama sürecine dahil ediyor. Sistem herhangi bir ek eğitim gerektirmeden çalışabiliyor ve mevcut altyapılarla uyumlu. Farklı model mimarileri üzerinde yapılan testlerde sistemin 2 kata kadar hız artışı sağladığı görüldü. Bu gelişme, ChatGPT gibi büyük dil modellerinin yanıt verme hızını önemli ölçüde artırabilir.

Büyük dil modellerinin ürettiği metinlerin kaynağını tespit etmek giderek zorlaşırken, araştırmacılar BREW adlı yeni bir dijital imza yöntemi geliştirdi. Bu sistem, yapay zeka tarafından üretilen metinlere görünmez çoklu bit imzalar yerleştirerek, sahte pozitif sonuçları dramatik şekilde azaltıyor. Geleneksel yöntemlerin aksine, BREW iki aşamalı bir doğrulama mekanizması kullanıyor: önce bağımsız blok oylamasıyla mesajı tahmin ediyor, ardından pencere kaydırma tekniğiyle yerel düzenlemelere karşı sağlam doğrulama yapıyor. Test sonuçları, %10 eş anlamlı kelime değişikliği altında bile %96.5 doğru tespit oranı ve sadece %2 yanlış pozitif oranı gösteriyor.

Araştırmacılar, salgın hastalıkların yayılımını modellemek için EPITIME adlı yeni bir hesaplama çerçevesi geliştirdi. Bu sistem, enfeksiyon yaşı ve davranışsal faktörleri içeren iki farklı epidemi modeli türünü simüle edebiliyor. MATLAB ve Python dillerinde modüler olarak tasarlanan framework, yapı koruyucu sayısal yöntemler kullanarak gerçek salgın dinamiklerinin temel özelliklerini koruyor. Sistem, parametre yönetimi, girdi doğrulama ve grafik etkileşim gibi özellikleri de içeriyor. Bu geliştirme, gelecekteki salgınlara karşı daha etkili hazırlık yapılması ve müdahale stratejilerinin geliştirilmesi açısından önemli bir araç sunuyor.

Araştırmacılar, büyük dil modellerinin yapılandırılmış görevleri güvenilir şekilde yerine getirememesi sorununa çözüm ürettiler. RunAgent adlı yeni platform, doğal dilde yazılan planları anlayıp adım adım uygulayabiliyor. Sistem, insan benzeri problem çözme yaklaşımını taklit ederken, programlama dillerinin deterministik yapısını koruyor. RunAgent, IF, GOTO ve FORALL gibi kontrol yapılarıyla donatılmış agentic bir dil kullanarak, doğal dilin ifade gücünü programlamanın kesinliğiyle birleştiriyor. Platform, her adımda otomatik olarak kısıtlamalar türetip doğrulama yapıyor, LLM tabanlı akıl yürütme, araç kullanımı ve kod üretimi arasında dinamik seçim yapabiliyor. Hata düzeltme mekanizmalarıyla desteklenen sistem, yapay zekanın karmaşık iş akışlarını güvenilir şekilde yürütebilmesi için önemli bir adım sayılıyor.

Araştırmacılar, elektrikli motorlar ve sinir ağları gibi karmaşık sistemlerin kararlılığını analiz etmek için yeni bir matematiksel framework geliştirdi. Persidskii sistemleri olarak adlandırılan bu yapılar, doğrusal dinamikler ile nonlineer geri besleme döngülerini birleştireyor. Çalışma, zaman gecikmesi olan sistemlerde durum tahmini ve kararlılık analizi için veri odaklı yaklaşımlar sunuyor. Özellikle elektrikli araçlarda kullanılan PMSM motorlarında deneysel doğrulama yapılması, teorik çalışmanın pratik uygulamalarını gösteriyor. Bu gelişme, otonom sistemler ve robotik alanlarında daha güvenilir kontrol sistemleri tasarımına katkı sağlayabilir.