5 ms·
And another https://arxiv.org/pdf/1608.02644.pdf https://arxiv.org/pdf/1608.02644.pdf I'd really love to see someone like Deepmind get a hold of this. They ar
by drchewbacca 7y ago
And another
https://arxiv.org/pdf/1608.02644.pdf https://arxiv.org/pdf/1608.02644.pdf
I'd really love to see someone like Deepmind get a hold of this. They are perfectly placed to apply a lot of resources to it and it's right in their wheelhouse.
Don't know how to contact them about it though.
- carapace 7y agoRelated: https://arxiv.org/abs/1610.01044 https://arxiv.org/abs/1610.01044 "DeepAlgebra - an outline of a program" > We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.
- krapht 7y agoWhat makes you think they aren't? https://www.youtube.com/watch?v=p_UXra-_ORQ https://www.youtube.com/watch?v=p_UXra-_ORQ