lukas_deat 🇺🇦🇪🇺🇩🇪🇦🇹
@lukas_deat
Engineer (MSc) | AI Research | Politics
ID: 3240140223
07-05-2015 09:31:18
593 Tweet
344 Followers
844 Following
Like David Bessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story. About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: youtube.com/watch?v=mMaid2…) (1/15)