Lanyon AI revela una ronda de $10.6 millones para lograr que el código de física se demuestre por sí mismo
Dimension lideró el financiamiento de julio, respaldando a un trío de Princeton que desarrolla simulaciones generadas por IA con pruebas verificables por máquina.
By Ryan Merket · Published · Updated
Primary source: X
Por qué importa
Lanyon AI apuesta a que la IA científica se venderá por su verificabilidad en lugar de por su fluidez. La parte difícil es demostrar que una especificación formal refleja lo que un ingeniero tenía en mente.
Jonathan Gorard (@getjonwithit), un matemático aplicado que trabajó anteriormente en Wolfram Research y Princeton, está tomando una ruta más reducida hacia el código generado por IA: hacer que el software demuestre que hace lo que dice su especificación formal.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.