doubleAI programları donanım seviyesinde optimize eden Maxwell modelini tanıttı
Öne çıkanlar
- Maxwell, kod yürütme modeli olarak program çalışırken algoritmaları donanıma göre yeniden yazıyor.
- Oluşturulan her yeni kod için matematiksel anlamsal eşdeğerlik kanıtı üretiliyor.
- doubleAI, sistemi gerçek hayattaki projelerde çalıştırmak için Python dilini tamamen formelleştirdi.
Yapay zeka girişimi doubleAI, yazılım ile donanım arasında çalışan ve kod yürütme modeli (CEM) olarak adlandırılan yeni bir yapay zeka kategorisi geliştirdiğini duyurdu. Girişim, bu kapsamda Maxwell adını verdiği ilk modelini erken erişime açtı. Geleneksel yapay zeka araçları yalnızca kaynak kodu yazma aşamasında görev alırken, Maxwell doğrudan çalışan programın içinde yer alıyor. Sistem, veri akışını izleyerek algoritmaları ve makine talimatlarını gerçek zamanlı olarak donanıma en uygun hale getiriyor.
Sistem, kaynak kodda herhangi bir değişiklik yapmadan arka planda çalışan ikili kodları yeniden üretiyor. Değişikliklerin doğruluğunu ve güvenliğini sağlamak amacıyla formel doğrulama yönteminden yararlanılıyor. Maxwell, yaptığı her optimizasyon için anlamsal eşdeğerlik kanıtı sunarak yeni kodun orijinaliyle birebir aynı sonuçları ürettiğini matematiksel olarak garanti ediyor. Şirket bu süreçte, oldukça dinamik bir yapıya sahip olan Python programlama dilinin tam bir formelleştirmesini tamamladığını da bildirdi.
Model hem işlemci (CPU) hem de grafik işlemci (GPU) üzerinde çalışan yazılımları destekliyor. Python kodlarını doğrudan düşük seviyeli makine kodlarına ve SIMD talimatlarına dönüştüren sistem, PyTorch işlemlerini de donanıma özel çekirdeklerle değiştiriyor. Kaynak kodun yazarları tarafından değiştirilmeden kalmasını sağlayan bu altyapı, yazılım çalıştığı müddetçe kendini sürekli optimize eden yeni bir çalışma zamanı mekanizması sunuyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.