Yanasse projesi, matematiğin bir alanındaki ispat stratejilerini başka alanlara aktararak yeni teoremler bulabilen devrim niteliğinde bir sistem geliştirdi. Sistem, 27 farklı matematik alanından 217 bin ispat durumunu analiz ediyor ve GPU hızlandırmalı benzetim algoritmaları kullanarak farklı alanlar arasında bağlantı kuruyor. İlk denemede olasılık teorisinden temsil teorisine aktarılan stratejilerle 10 denemeden 4'ünde başarılı yeni ispatlar üretildi. Bu yaklaşım, matematikçilerin farklı alanlardan ilham alarak çalışma biçimini taklit ediyor.

arXiv (CS + AI) 0

Matematik

21 Apr

GPU bulut hizmetlerinde fiyatlama ve kapasite optimizasyonu için yeni matematiksel model

Araştırmacılar, çok kiracılı GPU bulut platformlarında fiyatlama ve kapasite ölçekleme problemini çözmek için oyun teorisi tabanlı yeni bir matematiksel framework geliştirdi. Modern GPU destekli hizmetler, katı gecikme gereksinimlerini karşılarken maliyetleri kontrol etmek zorunda. Bu çalışma, fiyatlandırmanın kullanıcı taleplerini şekillendirdiği ve bunun da sistem yoğunluğunu etkilediği dinamik durumu ele alıyor. Araştırma, büyük popülasyon Stackelberg oyun teorisi kullanarak bu karmaşık ilişkiyi modelliyor ve açık bir denge talep haritası türetiyor. Özellikle dikkat çekici olan bulgu, gecikmeden etkilenmeyen iş yüklerinin sürekli bir talep tabanı oluşturabileceği ve bunun sistemde çözülemeyen kuyruk birikimine yol açabileceği yapısal başarısızlık modu. Bu durum, sınırlı fiyat ve servis kapasitesi altında bile ortaya çıkabiliyor.

arXiv (Matematik) 0