Un agente de inteligencia artificial (IA) ha logrado dominar la resolución de problemas MaxSAT, superando a los expertos humanos y descubriendo estrategias innovadoras, según un proyecto de código abierto alojado en GitHub. El agente, que utiliza modelos de lenguaje como Claude Code, se entrena a sí mismo iterativamente, leyendo instrucciones, acumulando conocimiento de ejecuciones previas y refinando sus herramientas sin intervención humana. Ha resuelto 220 de 229 instancias de MaxSAT del 2024, encontrando soluciones óptimas en 30 casos y mejores que las de la competencia en 5, incluso descubriendo una solución novedosa. El agente opera en múltiples máquinas virtuales, colaborando a través de Git para compartir y construir sobre los hallazgos de los demás. El proyecto destaca la capacidad de la IA para el autoaprendizaje y la mejora continua, aunque también identifica limitaciones como la baja paralelización y la tendencia a enfocarse en problemas particularmente difíciles. El conocimiento adquirido se documenta en un archivo 'expert.md' y se implementa en una biblioteca de código, facilitando la reutilización y la expansión por parte de otros agentes.
Noticias agregadas con IA