Más allá de las matemáticas: Aristotle logra un SOTA 96,8% de generación de pruebas en VERINA: Benchmarking Verifiable Code Generation. Puedes leer más sobre este rendimiento en nuestro blog de ingeniería enlazado en la biografía