
Los LLM diseñan mejores heurísticas para solucionadores SAT que los expertos humanos, según un estudio
La satisfacibilidad booleana, el problema SAT, es el motor detrás de una amplia gama de tareas computacionales, desde la verificación de chips hasta la ciberseguridad y la verificación formal de pruebas. Los algoritmos que lo resuelven han sido refinados por expertos humanos durante décadas, mejorando incrementalmente el rendimiento mediante ingeniosas heurísticas para la selección de […]










