يتطور
تقنية·3 g önceملخص الذكاء الاصطناعي
Pramaana Labs raises $27 million to bring formal verification to AI
Pramaana Labs announced $27 million in seed funding to apply formal verification tools, inspired by mathematical proofs and the LEAN programming language, to large language models. The startup aims to improve AI reliability in sensitive sectors like law and drug discovery, where errors are costly.
T
TechCrunch