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
That’s not what this is doing. At all. It’s saying it produced a solution.
Edit: Y’all, mathematicians literally use deterministic algorithms called SAT solvers that solve the Boolean satisfiability problem. Saying an algorithm “solved” a math problem is not ascribing it comprehension or agency.
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.
It’s the age of AI, words don’t mean anything anymore. They only point to other words. The word “solve” may have a “definition” but that’s irrelevant compared to how the word makes me feel.
That’s not what this is doing. At all. It’s saying it produced a solution.
Edit: Y’all, mathematicians literally use deterministic algorithms called SAT solvers that solve the Boolean satisfiability problem. Saying an algorithm “solved” a math problem is not ascribing it comprehension or agency.
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.
It’s the age of AI, words don’t mean anything anymore. They only point to other words. The word “solve” may have a “definition” but that’s irrelevant compared to how the word makes me feel.
That’s literally always been true. Humans are emotional speakers and use language that feels right more than we use language that factually accurate.
The spicies have been trying to tell you this for decades.
Using non anthropomorphic language for AI just makes discussing it more obtuse and complex for no reason.