by sanjayio on 12/6/22, 12:51 AM with 1 comments
There are many gaps within our mathematical understanding and absorbing propositional logic and spitting out more theorems or proving more theorems seems more aligned with what an AI would be good at finding.
Oppose to software jobs where the inputs are product problems and half (way more than half in my experience) of the problems aren't even defined well enough.
by simiken1234 on 12/6/22, 1:12 AM