Vals AI publica un algoritmo de camino más corto ideado por IA con una ventaja probada estrecha
El investigador Geby Jaff dirigió diez agentes Claude para producir C-HD y una prueba en Lean; su afirmación sobre el tiempo de ejecución se aplica a un rango limitado de grafos.
By RuntimeWire Staff · Published
Primary source: Vals AI
Por qué importa
Vals ha publicado un artefacto verificable de una tarea de investigación en IA en lugar de solo reportar una puntuación de agente. La prueba en Lean respalda una afirmación asintótica estrecha; la velocidad práctica y la novedad aún requieren escrutinio por separado.
Rayan Krishnan (@RayanKrishnan) y Langston Nashold (@langstonnashold) construyeron Vals AI para medir lo que los sistemas de IA pueden hacer. El 20 de septiembre, Vals publicó un tipo diferente de prueba: el investigador Geby Jaff dijo que diez agentes Claude Opus 5.5 habían ideado un algoritmo de camino más corto y produjeron una prueba en Lean de su corrección y cota de tiempo de ejecución en aproximadamente 15 horas.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.