Inteligencia Artificial22 de junio de 2026 · 5 min
Pramaana Labs recauda 27M para IA verificable con pruebas matemáticas
Pramaana Labs ha cerrado una ronda seed de 27 millones de dólares liderada por Khosla Ventures. Su propuesta: envolver la IA en pruebas matemáticas para garantizar su fiabilidad en aplicaciones legales, fiscales y de descubrimiento de fármacos. Un enfoque que podría cambiar cómo las empresas adoptan IA en entornos críticos.