Lean

Typesafe AI y Lean marcan señales de madurez en infraestructura y verificación de IA

La ronda de financiación de Typesafe AI y el análisis de Terry Tao sobre Lean apuntan a un mismo movimiento: