3 ms·
> absolutely no understand of basic logic > We are a very long way from AGI. Let's not forget that computers are insanely good at bitwise computations. It's j
by est 4y ago
> absolutely no understand of basic logic
> We are a very long way from AGI.
Let's not forget that computers are insanely good at bitwise computations. It's just a matter of time before someone adds a Coq/Lean style reinforcement to AI's learning capabilities.
- kaba0 4y agoComputers are not that good with symbolic reasoning. Even state of the art symbolic math software can easily be given problems it will have no idea what to do with.
- est 4y ago> given problems it will have no idea what to do with. Yeah but the question was mostly given by Math PhDs, no? I don't think problems given by an average American would be that difficult for AGI to solve.
- kaba0 4y agoI don’t know, we are fickle, biased creatures with well known failures at reasoning, but let’s not lessen our intelligence too much. Even small children can outsmart the best of our existing AIs.