&Truth sale a la luz con US$70 millones para probar matemáticamente que el código escrito por IA es correcto
● Confianza alta · Fuente primaria
&Truth, con sede en Palo Alto y Singapur, salió de modo oculto el 29 de octubre con una ronda semilla de US$70 millones. Desarrolla un sistema basado en el lenguaje de pruebas Lean que busca leer código en cualquier lenguaje y demostrar matemáticamente que es seguro y correcto; lo fundaron Clark Barrett, Ilya Sergey y Chris Hsu.
Esta noticia apareció en las ediciones N° 054, N° 055, N° 056, N° 057, N° 058 de AI Radar.