chatGPT seems to completely lack logic and the ability to assess the correctness of its answers. But there is research for AIs that can prove theorems. I think if they succeed in adding this capability, the result will be very interesting. https