Pramaana Labs жасанды интеллектіні ресми тексерумен қамтамасыз ету үшін 27 миллион доллар қаражат жинады
Жалпы мәлімет
2026 жылғы маусымда Pramaana Labs стартапы Khosla Ventures қаржыландыруымен 27 миллион доллар көлемінде бастапқы инвестиция алды. Компания жасанды интеллектінің сенімділігін арттыру мақсатында математикалық ресми тексеру құралдарын енгізуді жоспарлап отыр.
Жобаның мақсаты мен ерекшелігі
Pramaana Labs құқық, дәрі-дәрмек саласын әзірлеу және салық салу сияқты қатал талаптары бар салаларға ерекше назар аударады. Мұндай салаларда қателіктердің салдары ауыр болғандықтан, жасанды интеллектінің дұрыс жұмыс істеуі аса маңызды. Компьютерлік ғылымдағы математикалық ресми тексеру әдістерін қолдану арқылы компания жүйенің қателіксіз жұмыс істеуін қамтамасыз етеді.
Жүйенің құрылымы
Компания LLM технологиясын қолдана отырып, табиғи тілмен қойылған сұрақтарға жауап беріп, күрделі мәселелерді шешуді жүзеге асырады. Оған үстемде формализацияланған және тексерілген қабат қосылады, ол жүйенің нәтижесін есепті етеді. Бұл тәсіл LEAN бағдарламалау тілінің ашық коды негізінде құрылады.
Серіктестер мен сарапшылар
Pramaana Labs әр саланың мамандарымен бірлесе жұмыс істейді. Салық заңнамасы бойынша бұрынғы IRS комиссиясы Danny Werfel қатысады. Ал киберқауіпсіздік пен дәрі-дәрмек саласын зерттеу бойынша IIT Delhi, IIT Madras және UC Berkeley университеттерінің профессорлары жауап береді.
Компанияның көзқарасы
Қиын мәселелер шешілмейтін емес, олар ресми түрде жүйеленбеген деп есептейді. Әрбір саланың өз ережелері бар және оларды нақты кодқа айналдыру міндеті тұр.
Дереккөз: TechCrunch
