3 ms·
We were doomed as soon as we made the mistake of trusting an AI to prove the four color theorem
by __s 7y ago
We were doomed as soon as we made the mistake of trusting an AI to prove the four color theorem
- yters 7y agoCan the AI prove the AI that proved the four color theorem!?!
- ska 7y agoThere was nothing AI about the original four color proof. Are you thinking of something more recent?
- dekhn 7y agoIn the future AI will be the term people use to talk about all of CS, regardless of it being artificial, or intelligent.
- ska 7y agoI don't think that is likely. More likely we follow the pattern we've had for the last 50-60 years; things we call "AI" stop being called "AI" after we understand how they work well enough.