Lanyon AI revela ronda de 10.6 millones de dólares para código científico verificado formalmente
El laboratorio con sede en Princeton empareja un LLM con un compilador simbólico para generar código científico y pruebas verificables por máquina a partir de una sola especificación.
By RuntimeWire Staff · Published · Updated
Primary source: PR Newswire
Por qué importa
La verificación formal puede hacer que el software científico generado por IA sea auditable, pero su valor depende de si la especificación certificada captura la intención real del ingeniero.
Jonathan Gorard, Ammar Hakim, and James "Jimmy" Juno revelaron una ronda inicial de recaudación de fondos de 10.6 millones de dólares para Lanyon AI el 17 de agosto, respaldando su intento de hacer que el software científico generado por IA demuestre que hace lo que su especificación requiere.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.