Inteligencia Artificial Investigador propone combinar SAT y LLMs para demostrar teoremas inalcanzables para humanos