3 ms·
Yea that's fair, but I don't think it will keep sucking forever as formalization is in principle just a translation process.
by golol 2y ago
Yea that's fair, but I don't think it will keep sucking forever as formalization is in principle just a translation process.
- riku_iki 2y agoand we don't have 100% accuracy in translation in ambiguous texts, because system often need some domain knowledge, context etc. And math has 0% tolerance to mistakes. I also expect that math formalized by machine will be readable by machine and hardly understandable by humans.