

4·
24 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.


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.
I’m my opinion the best days of YouTube were before monetization was a thing. There were plenty of creators back then, and it was a lot less corporate than it is now.