Something much smarter may be able to make GOFAI or a hybrid of it work for reasoning, where we failed to, and be much more efficient. We know simple examples

Something much smarter may be able to make GOFAI or a hybrid of it work for reasoning, where we failed to, and be much more efficient. We know simple examples like exact numeric calculation where desktop grade machines are already over a quadrillion times faster than unaided humans, and more power efficient. We could plausibly see some >billion-fold difference in strategic reasoning at some point even in fuzzy domains.