I have seen people shown that it can solve hard problem on leetcode. I really want to if it can solve hard math problems....Or even the unsolved ones