Diego Córdoba and Luis Martínez‑Zoroa’s research is the foundation of the announcement that artificial intelligence has solved one of the greatest enigmas in history. Both believe the achievement will radically change the discipline
Some more context on sat and first order solvers in math: the first open math problem solved autonomously by a computer was in 1997, well before the advent of generative ai.
Some more context on sat and first order solvers in math: the first open math problem solved autonomously by a computer was in 1997, well before the advent of generative ai.