Pruebas formales automatizadas de identidades combinatorias mediante guiado de Wilf-Zeilberger y LLMs
Pruebas formales automatizadas de identidades combinatorias con el método Wilf-Zeilberger y modelos de lenguaje grandes (LLMs). Una fusión de teoría matemática e inteligencia artificial.