Flint-interaktif: Etkileşimli veri görselleştirmeleri oluşturmak için bir dil
Bilim & Teknoloji

Flint-interaktif: Etkileşimli veri görselleştirmeleri oluşturmak için bir dil

Flint-interactive, AI ajanlarına etkileşimli görselleştirmeler oluşturmak için bir dil sunar. Bir grafiğe tıklayın, verileri filtreleyin, ilgili içeriği vurgulayın ve yazarın başlangıçta seçtiği görünümün ötesinde keşfedin. Flint-interactive: Etkileşimli veri görselleştirmeleri oluşturmak için bir dil başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Chenglong Wang, Yuwei Xiao, Alper Sarikaya, Michel Galley, Chris Quirk, Jianfeng Gao
Matematikte 31 yıllık büyük bir meydan okumanın çözümü – KLS varsayımı
Bilim & Teknoloji

Matematikte 31 yıllık büyük bir meydan okumanın çözümü – KLS varsayımı

On yıllardır, yüksek boyutlu uzaylarda hesaplama zorluğuna dair temel bir soru kanıtlanmayı bekliyordu. Yeni araştırmalar bu sorunu çözüyor ve bilim ve hesaplama alanında kullanılan rastgele algoritmaların verimliliğini anlamanın önündeki büyük bir teorik engeli ortadan kaldırıyor. Kannan–Lovász–Simonovits (KLS) varsayımı 1995 yılında önerildi. Bu varsayım, geniş bir yüksek boyutlu sınıf için […] Yazının tamamı Microsoft Research'te "Matematikte 31 yıllık büyük bir meydan okuma - KLS varsayımının çözülmesi" başlığıyla yayımlandı.

Magnetar ile Kanıta Dayalı Genel Amaçlı Hesaplama
Bilim & Teknoloji

Magnetar ile Kanıta Dayalı Genel Amaçlı Hesaplama

Sıfır bilgi kanıtları, hesaplama sonuçlarını yeniden iş yüklerini çalıştırmadan veya hassas verileri açığa çıkarmadan doğrulayabilir. Magnetar, standart programlama dillerine destek, önemli hız artışları ve kuantum direncine sahip güvenlik ile bunları ana akıma taşımaya yardımcı oluyor. "Kanıt temelli genel amaçlı hesaplama ile Magnetar" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Öğrenci öğrenimini simüle ederek daha iyi AI eğitimi sağlama
Bilim & Teknoloji

Öğrenci öğrenimini simüle ederek daha iyi AI eğitimi sağlama

StudentSim, öğrenicilerle test edilmeden önce AI öğretim araçlarını değerlendirmek ve geliştirmek için bir araştırma sistemidir. Bireylerin öğretmenlerle nasıl etkileşimde bulunabileceğini modelleyerek, satranç, yazma ve matematik gibi konularda öğretmen performansını artırmak için geri bildirim sağlar. "Öğrenci öğrenimini simüle etme: Daha iyi AI öğretimi için" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Ke Yang, Chenglong Wang, Michel Galley, Jeevana Priya Inala, ChengXiang Zhai, Jianfeng Gao
Ajan Işık v1.0: Gerçek Harness'lerle Ajanları Eğitmek için 3,500 Satırlık Hafif Ajanik RL Çerçevesi
Bilim & Teknoloji

Ajan Işık v1.0: Gerçek Harness'lerle Ajanları Eğitmek için 3,500 Satırlık Hafif Ajanik RL Çerçevesi

Yapay zeka ajanlarını pekiştirmeli öğrenme ile eğitmek zorlayıcı olabilir çünkü araçları, bağlamları ve karar verme süreçleri karmaşık çerçeveler tarafından yönetilmektedir. Agent Lightning, mevcut ajanları RL eğitimine bağlayarak, onları yeniden inşa etmeden geliştirmeyi kolaylaştırır. "Agent Lightning v1.0: Gerçek Harness'lerle Ajanları Eğitmek İçin 3,500 Satırlık Hafif Ajanik RL Çerçevesi" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Yapay Zekanın Yanlış Yaptığı Şeyler ve Başarısızlığın Bize Öğrettikleri
Bilim & Teknoloji

Yapay Zekanın Yanlış Yaptığı Şeyler ve Başarısızlığın Bize Öğrettikleri

Jennifer Neville, bilgisayar bilimlerine girmek istemiyordu ama tam da oraya yöneldi. Neville, profesyonel olarak en uygun olduğu noktaya ulaşmasını sağlayan başlangıçları ve duraklamaları tartışıyor ve AI'nın karmaşıklığı ele almasını zorlaştıran "şaşırtıcı başarısızlıkları" tanımlama konusundaki çalışmalarını paylaşıyor. Bu yazı, "AI'nın neyi yanlış anladığı ve başarısızlığın bize ne öğrettiği" başlığıyla Microsoft Research'te yayınlandı.

Elektrik şebekelerinde uzay hava riski tahmini
Bilim & Teknoloji

Elektrik şebekelerinde uzay hava riski tahmini

Aşırı uzay hava olayları, Dünya'daki enerji sistemlerine zarar verebilir ve GPS doğruluğunu ile uydu operasyonlarını etkileyebilir. Yeni bir makine öğrenimi sistemi, bir fırtına gelmeden 30-60 dakika önce hasarın nerede meydana gelebileceğini tahmin edebiliyor. Bu yazı, "Uzay hava risklerinin enerji şebekeleri üzerindeki etkisini tahmin etme" başlığıyla Microsoft Research'te yayımlandı.

Quine'i Tanıtma: Biyolojinin Karmaşıklığı İçin Tasarlanmış Bir AI Araştırma Sistemi
Bilim & Teknoloji

Quine'i Tanıtma: Biyolojinin Karmaşıklığı İçin Tasarlanmış Bir AI Araştırma Sistemi

Biyoloji, ayrı alanlarda işlemiyor ve onun AI temsili de öyle olmamalı. Quine, biyolojinin çok modlu bir dünya modelini oluşturmak için erken aşama bir araştırma çabasıdır. Biyolojik ölçekler ve modlar arasında bağlantılar kurarak, Quine bilim insanlarının sezgilerin izin verdiğinden çok daha büyük bir alanda hesaplamalı olarak arama yapmalarına ve hipotezleri laboratuvara ulaşmadan önce önceliklendirmelerine yardımcı olur. Deneysel sonuçlar önemli geri bildirimler sağlar, araştırmacıların gelecekteki araştırma yönlerini keskinleştirmelerine yardımcı olur. "Quine'i Tanıtıyoruz: Biyolojinin karmaşıklığı için tasarlanmış bir AI araştırma sistemi" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Bir yıl sonra: Microsoft Research Asia - Singapur'un gerçek dünya etkisi için araştırma, ortaklık ve yetenekleri nasıl ilerlettiği
Bilim & Teknoloji

Bir yıl sonra: Microsoft Research Asia - Singapur'un gerçek dünya etkisi için araştırma, ortaklık ve yetenekleri nasıl ilerlettiği

Geçen yıl faaliyete geçen Microsoft Research Asia - Singapur laboratuvarı, güçlü bir temel oluşturdu, hükümet, akademi ve sanayi arasında işbirliğini derinleştirdi ve sınır AI araştırmalarının gerçek dünya değeri yaratma potansiyisini keşfetti. Bu yazı, Microsoft Research'ta "Bir yıl: Microsoft Research Asia - Singapur'un gerçek dünya etkisi için araştırma, ortaklık ve yetenekleri nasıl ilerlettiği" başlığıyla yayımlandı.

Gerçek dünya fiziksel AI robotları için dışa aktarılmış çıkarım
Bilim & Teknoloji

Gerçek dünya fiziksel AI robotları için dışa aktarılmış çıkarım

Robotlar daha akıllı hale geliyor, ancak donanımları bu büyümeye nasıl ayak uydurabilir? Yeni Microsoft Araştırma bulguları, AI çıkarımını robotun ötesine taşımanın görev başarısını artırabileceğini, verimliliği yükseltebileceğini ve daha gelişmiş fiziksel AI iş yüklerini destekleyebileceğini gösteriyor. Bu yazı, "Gerçek dünya fiziksel AI robotları için devredilmiş çıkarım" başlığıyla Microsoft Araştırma'da yayınlandı.

Ganesh Ananthanarayanan, Matthew Balkwill, Xenofon Foukas, Sanjeev Mehrotra, Bozidar Radunovic, Connor Settle, Ankit Verma, David White, Shawn Cicoria, Mark Martin, Rachel Johnson, Mayur Patel
RetroChimera ile ölçekli küçük moleküllerin sentez tahminini iyileştirme
Bilim & Teknoloji

RetroChimera ile ölçekli küçük moleküllerin sentez tahminini iyileştirme

Özel yapım moleküller, tıbbı, malzemeleri ve tarımı ilerletiyor, ancak bunların üretilmesi yavaş ve pahalı. Yeni bir Nature makalesi, kimyasal sentezi hızlandırmaya yardımcı olan ve araştırmacıların geniş bir molekül yelpazesini keşfetmelerine olanak tanıyan RetroChimera adlı bir tahmin modelini vurguluyor. "RetroChimera ile ölçekli küçük moleküllerin sentez tahminini iyileştirme" başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Hizmete Çağrıldık: Chris White ile Teknoloji, Araştırma ve Pozitif Etki
Bilim & Teknoloji

Hizmete Çağrıldık: Chris White ile Teknoloji, Araştırma ve Pozitif Etki

Laboratuvar Direktörü Chris White, savaş zamanı veri analizine yönelik yeni yaklaşımlardan insan ticaretiyle mücadeleye yönelik araçlara kadar, gerçek dünya etkileri olan araştırma zorlukları üzerinde çalıştı. Program yöneticisi Weishung Liu ile bu çalışmaya yön veren etkiler ve daha fazlası hakkında konuşuyor. "Hizmet etmeye çağrıldım: Teknoloji, araştırma ve olumlu etki" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

GigaPath-Flash ve GigaTIME-Flash: Etkili patoloji temel modelleri ile nüfus ölçeğinde keşif için ilerleme
Bilim & Teknoloji

GigaPath-Flash ve GigaTIME-Flash: Etkili patoloji temel modelleri ile nüfus ölçeğinde keşif için ilerleme

Patoloji temel modelleri daha az ile daha fazlasını yapabilseydi ne olurdu? GigaPath-Flash ve GigaTIME-Flash, güçlü performansı korurken hesaplama gereksinimlerini azaltarak daha büyük çalışmalara ve daha geniş keşiflere kapı açıyor. "GigaPath-Flash ve GigaTIME-Flash: Verimli patoloji temel modelleri ile nüfus ölçeğinde keşfe doğru" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Skala'ya erişimi genişletmek, öngörücü DFT'ye daha hızlı bir yol sunuyor.
Bilim & Teknoloji

Skala'ya erişimi genişletmek, öngörücü DFT'ye daha hızlı bir yol sunuyor.

Skala 1.1, Microsoft Research'tan güncellenmiş derin öğrenme değişim-korelasyon fonksiyonu, daha yüksek doğruluk, hesaplamalı kimya ekosisteminde genişletilmiş erişilebilirlik ve hesaplama performansını izlemek için canlı bir kıyaslama sunar. "Skala'ya erişimi genişletmek, öngörücü DFT'ye daha hızlı bir yol oluşturuyor" başlıklı yazı ilk olarak Microsoft Research'ta yayınlandı.

Sebastian Ehlert, Stefano Battaglia, Thijs Vogels, Jan Hermann, Jens Wehner, Giulia Luise, Klaas Giesbertz, Chin-Wei Huang, Aaron Kaplan, Kate Milton, Stephanie Marisa Lanius, Derk Kooi, P. Bernát Szabó, Gregor Simm, Rianne van den Berg, Paola Gori Giorgi
MindTopo, VLM'lerin mekansal akıl yürütme yeteneklerini ortaya koyuyor
Bilim & Teknoloji

MindTopo, VLM'lerin mekansal akıl yürütme yeteneklerini ortaya koyuyor

Bir yol, bir çit, bir düğüm. MindTopo, yapay zekanın topolojik ilişkileri anlama yeteneğini test etmede yeni bir ölçüt belirliyor ve mekansal akıl yürütme ve planlamayı güçlendirmek için yeni fırsatları vurguluyor. Bu yazı, "MindTopo, VLM'lerin mekansal akıl yürütme yeteneklerini ortaya koyuyor" başlığıyla Microsoft Research'te yayınlandı.

Yunfei Ge, Anbang Liu, Qineng Wang, Johnalbert Garnica, Zihan Wang, Reuben Tan, Jianfeng Gao, Ruohan Zhang, Yining Hong, Jiajun Wu, Manling Li
CARE-X'i Tanıtıyoruz: Yardımcı Gözetim, Ödül Uyumlu Öğrenme ve Araç Destekli Ölçüm ile Klinik Olarak Kullanışlı Radyoloji VLM'lerine Doğru
Bilim & Teknoloji

CARE-X'i Tanıtıyoruz: Yardımcı Gözetim, Ödül Uyumlu Öğrenme ve Araç Destekli Ölçüm ile Klinik Olarak Kullanışlı Radyoloji VLM'lerine Doğru

Radyoloji yapay zekası, rapor oluşturmanın ötesine geçiyor. CARE-X, göğüs röntgeni yorumlaması için esnek akıl yürütmeyi, kalibre edilmiş tahminleri ve ölçüm tabanlı araçları birleştiren birleşik bir yaklaşımı keşfediyor. "CARE-X'i Tanıtıyoruz: Yardımcı Denetim, Ödül ile Uyumlu Öğrenme ve Araç Destekli Ölçüm ile Klinik Olarak Kullanışlı Radyoloji VLM'lerine Doğru" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Orman: Ölçeklenebilir ajanik yapay zeka için açık bir çerçeve
Bilim & Teknoloji

Orman: Ölçeklenebilir ajanik yapay zeka için açık bir çerçeve

Orchard, araştırma topluluğu için görev türleri arasında AI ajanlarını eğitmek ve değerlendirmek amacıyla açık kaynaklı bir çerçevedir. Araştırmacıların aynı altyapıyı yeniden kullanmalarını sağlayarak daha küçük modellerden güçlü performans elde ederken karmaşıklığı azaltır. "Orchard: Ölçeklenebilir ajans AI için açık bir çerçeve" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Echoverse: Derin, evrilen ortamlar bilgisayar kullanan ajanlar için
Bilim & Teknoloji

Echoverse: Derin, evrilen ortamlar bilgisayar kullanan ajanlar için

Bilgisayar kullanan yapay zeka ajanları, e-posta ve müşteri desteği gibi çok adımlı iş akışlarında zorluk yaşıyor. Echoverse, ajanları yalnızca daha fazla eğitim görevi sunmak yerine gerçekçi ortamlarda eğiterek, görevler, testler ve ortamlar geliştikçe onların gelişmesine yardımcı oluyor. "Echoverse: Bilgisayar kullanan ajanlar için derin, evrilen ortamlar" başlıklı yazı ilk olarak Microsoft Research'te yayınlandı.

Akshay Nambi, Yash Pandya, Sahil Gupta, Sarthak Harne, Archana Yadav, Kavyansh Chourasia, Yash Lara, Ahmed Awadallah, Ece Kamar
EvoLib: Deneyimi Evrilen Bilgiye Dönüştürmek
Bilim & Teknoloji

EvoLib: Deneyimi Evrilen Bilgiye Dönüştürmek

LLM'ler sadece daha fazla hatırlayarak daha akıllı hale gelmez. EvoLib, deneyimi evrilen bilgiye dönüştürerek, dağıtım sonrasında bile modellerin görevler arasında öğrenmesine ve uyum sağlamasına yardımcı olan yeniden kullanılabilir becerileri ve içgörüleri alır. EvoLib: Deneyimi evrilen bilgiye dönüştürmek başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Weijia Xu, Alessandro Sordoni, Zelalem Gero, Michel Galley, Eric Yuan, Jianfeng Gao
Rust Kriptografisinin SymCrypt'te Doğrulanması, Standartlardan Koda
Bilim & Teknoloji

Rust Kriptografisinin SymCrypt'te Doğrulanması, Standartlardan Koda

Kriptografik kod, modern bilgisayar sistemlerinde hayati korumaları destekler. Geliştiricilerin yazarken kodu doğrulamalarına yardımcı olan yeni bir yöntemin, uygulanırken ve evrim geçirdikçe hız ve uyumluluğu koruyarak nasıl çalıştığını öğrenin. "SymCrypt'te Rust kriptografisini doğrulama, standartlardan koda" başlıklı yazı ilk olarak Microsoft Research'te yayımlandı.

Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky