Kurumsal firmalar, AI pilot projelerini iş süreçlerine entegre ederken güvenilirliğin hayati önem taşıdığını bir kez daha kanıtladı. Bu soruna yanıt arayan yeni bir girişim, matematiksel formalizasyon araçlarını AI’nın kaotik yapısıyla birleştirerek hatasız çözümler sunmayı hedefliyor.
Çarşamba günü Pramaana Labs, Khosla Ventures liderliğinde 27 milyon dolar seed yatırım aldı; Accel, Boldcap, Nexus Venture Partners, Premji Invest ve Unbound da turda yer aldı. Şirket, özellikle hukuk, ilaç keşfi ve vergi hazırlama gibi hataların yüksek maliyet getirebileceği hassas sektörlere odaklanacak. Bu alanlarda yapay zekanın halüsinasyon ve doğruluk sorunları mevcut çözümlerden çok daha güçlü korumalar gerektiriyor.
Kurucu ortak ve CEO Ranjan Rajagopalan, bu alanda formalizasyonun benzersiz bir avantaj sağladığını vurguluyor. Vergi kodu gibi karmaşık kuralların matematiksel bir dille tanımlanması, üstünde yürütülen akıl yürütmeyi deterministic (deterministik) hâle getiriyor. Pramaana’nın sistemi hâlâ geleneksel bir LLM (büyük dil modeli) üzerine inşa edilmiş; bu sayede doğal dilde sorulara yanıt verebiliyor ve klasik bilgisayarların çözemediği problemleri ele alabiliyor. Ancak LLM’in çıktısını kontrol eden deterministic bir katman ekleyerek sonuçların tutarlılığı garantileniyor.
Bu LLM + deterministic doğrulama kombinasyonu zaten yaygın bir yaklaşım, ancak Pramaana’nın ayırt edici yönü, formal verification araçlarını – özellikle açık kaynak LEAN programlama dilini – kullanması. LEAN, matematiksel kanıtların doğrulanmasında kullanılan bir ortam ve Pramaana her kullanım senaryosu için LEAN tarzı bir doğrulama sistemi geliştirecek. Vergi hukuku konusunda eski IRS başkanı Danny Werfel, siber güvenlik ve ilaç keşfi projelerinde ise IIT Delhi, IIT Madras ve UC Berkeley’den akademisyenler danışmanlık yapıyor.
Rajagopalan, “Dünyanın en zor problemleri çözülemez değildir; sadece formalize edilmemiştir,” diyerek, hatanın hayat, para ya da özgürlük kaybına yol açtığı her alanda kuralların var olduğunu ve bu kuralların kodlanması gerektiğini belirtiyor. Pramaana’nın yaklaşımı, AI’nın potansiyelini güvenli ve sorumlu bir şekilde sektörlere taşımak için kritik bir adım sunuyor.
Yorum Yap