"reliable reasoning" is not the same as AGI. The first can be a big calculator which solves some problems on limited domain. Like engineering, this could boost the progress. Very likely this is possible. Actually it's already happening in some areas like proteins research, not sure it can be called reasoning, though.
No comments yet.