Innovación y ciencia Avances significativos en la conjetura del corredor solitario tras décadas de estancamiento
Inteligencia Artificial Investigador propone combinar SAT y LLMs para demostrar teoremas inalcanzables para humanos
