minus-square8baanknexer@lemmy.worldtoscience@lemmy.world•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’linkfedilinkEnglisharrow-up4·2 days agoSome 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. linkfedilink
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.