ChatGPT is bad at math and logic. But we have very fancy and powerful symbolic math and logic solvers. It's a question of hooking them up. I'm sure not easy but seems inevitable. That will be very powerful.