Find XO: Pramaana Labs recibió solo 2,700 mil dólares por verificación formal (techcrunch.com)

- Pramaana Labs recibió una inversión semilla de 2,700 mil dólares de Khosla Ventures para garantizar la precisión de la IA en áreas sensibles como leyes, descubrimiento de fármacos y preparación de impuestos mediante verificación formal. - Recibir una gran inversión no significa que la tecnología de verificación sea confiable. - Debemos evitar el error de elegir un mercado con altos costos por errores y añadir la verificación después. - El orden correcto es primero pasar los estándares en un área estrecha.