Joined 3 months ago
Sure it can solve math problems by just following the implication arrows. But those are just low hanging fruits, i.e problems that humans were too lazy to deal with.
Sure it can solve math problems by just following the implication arrows. But those are just low hanging fruits, i.e problems that humans were too lazy to deal with.