Ana Menü
Ana Sayfa Tüm Haberler Videolar Galeri
Kategoriler
Spor HOT Teknoloji Ekonomi Sağlık Dünya Bilim Politika Magazin Sinema Oyun Moda Otomotiv Yaşam Seyahat Yemek Kripto
Tüm Kategoriler
Son Dakika Galeri Yaşam
Haber Ara
Aramak için Enter'a basın
Son Dakika
Tümü
Mars'ta Su Bulundu: NASA Tarihi Keşfini Açıkladı Galatasaray Şampiyonlar Ligi'nde Tarihi Zafer TOGG T10F Avrupa Yollarında: Test Sürüşü Sonuçları Bitcoin 120.000 Doları Test Etti: Kripto Piyasasında Hareketlilik
Popüler Aramalar
Spor Teknoloji Ekonomi Sağlık Dünya Kripto
Hesabım

Hesabına Giriş Yap

Yorumlar, favoriler ve kişisel içerikler
için üye olman yeterli.

Yapay zeka girişimi Pramaana Labs, 27 milyon dolar yatırım aldı

Yapay zeka cevaplarını doğrulayıp hataları azaltan sistemler geliştiren Pramaana Labs, 27 milyon dolar yatırım aldı. Şirketin 27 milyon dolarlık tohum yatırım turuna Khosla Ventures liderlik etti. ABD...

1 gün önce
28.7K
1 dk okuma
Yapay zeka girişimi Pramaana Labs, 27 milyon dolar yatırım aldı

Yapay zeka cevaplarını doğrulayıp hataları azaltan sistemler geliştiren Pramaana Labs, 27 milyon dolar yatırım aldı. Şirketin 27 milyon dolarlık tohum yatırım turuna Khosla Ventures liderlik etti. ABD merkezli Pramaana Labs'in yatırım turunda Accel, BoldCap, Nexus Venture Partners, Premji Invest ve Unbound yer aldı.


Şirket, yatırımı yapay zeka çıktılarının güvenilirliğini artırmak için hukuk, vergi, ilaç keşfi ve siber güvenlik gibi alanlarda LEAN tabanlı formal doğrulama sistemlerini geliştirmek ve ölçeklendirmek için kullanacağını açıkladı.


Pramaana Labs; Ranjan Rajagopalan, Krishnan Raghavan ve Sanjay Ganapathy tarafından kuruldu. Şirket, yapay zeka sistemlerinin özellikle kritik ve hata toleransı çok düşük alanlarda daha güvenilir çalışmasını sağlamak için formal verification yani biçimsel doğrulama teknolojileri geliştiriyor. Pramaana Labs; hukuk, vergi hazırlama, ilaç keşfi ve siber güvenlik gibi yanlış bir cevabın ciddi sonuçlar doğurabileceği sektörlere odaklanıyor.


Şirketin temel yaklaşımı, büyük dil modellerini tamamen değiştirmek değil, onların üstüne matematiksel olarak doğrulanabilir bir kontrol katmanı eklemek. Bu katman, modelin ürettiği cevapların belirli kurallara ve mantıksal sistemlere uygun olup olmadığını denetliyor. Böylece yapay zekanın halüsinasyon üretme riski azaltılmaya çalışılıyor. Bu doğrulama katmanında, matematiksel ispatların doğrulanmasında kullanılan LEAN gibi formal sistemlerden yararlanılıyor.

Etiketler: Teknoloji
İlgili Haberler
Galaxy A07 için Güncelleme Çıktı
Teknoloji
Galaxy A07 için Güncelleme Çıktı
17 saat önce
Elektrikli Aracınızı Her Yerde Hızlı Şarj Edin: Tunçmatik MobiCharge 11 kW Portatif Şarj Cihazı İncelemesi
Teknoloji
Elektrikli Aracınızı Her Yerde Hızlı Şarj Edin: Tunçmatik MobiCharge 11 kW Portatif Şarj Cihazı İncelemesi
17 saat önce
Apple A21 Pro İşlemcisi TSMC’nin 2nm N2P Sürecini Kullanabilir
Teknoloji
Apple A21 Pro İşlemcisi TSMC’nin 2nm N2P Sürecini Kullanabilir
17 saat önce
Amazon Prime üyelerine 4 oyun ücretsiz oldu
Teknoloji
Amazon Prime üyelerine 4 oyun ücretsiz oldu
18 saat önce
HONOR 600 Smart Duyuruldu
Teknoloji
HONOR 600 Smart Duyuruldu
18 saat önce
Lenovo Tab Plus Gen 2 Tanıtıldı
Teknoloji
Lenovo Tab Plus Gen 2 Tanıtıldı
18 saat önce

Yorumlar 0

Henüz yorum yok. İlk yorumu siz yapın!

Haberlere Abone Olun

Günlük derlenen en önemli haberler doğrudan e-postanıza gelsin!