3 ms·
What Is Backspace.ai?
- joko42 4y agoBackspace.ai is a project by George Hotz started in 2019. Apparently its not being worked on anymore. Can anyone please explain what he's trying to create here? This looks interesting but I can't find anything on google. Thanks!
- DougMerritt 4y agoHe knows the famous result that "Equivalence of two Turing Machines is undecidable", but hopes to find a subset for which it is decidable, which would allow various interesting algorithms. Unfortunately a decidable subset is not a Turing Machine ("unrestricted grammar" in the Chomsky hierarchy), which is possibly why the project went inactive.