259

A year of work by two Spanish mathematicians versus 88 hours and €15 million by OpenAI: ‘Without our idea, AI wouldn’t have solved it’ (english.elpais.com)

submitted 21 hours ago by Wurzl@lemmy.zip to c/science@lemmy.world

27 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] TheTechnician27@lemmy.world 30 points 20 hours ago* (last edited 19 hours ago)

Stop attributing comprehension and agency

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.

[-] 8baanknexer@lemmy.world 4 points 12 hours ago

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.

[-] endless_nameless@lemmy.world 2 points 18 hours ago* (last edited 18 hours ago)

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.