No it doesn't. Solving math is generative pattern matching. I once was very good at math and it's just works like puzzles in your mind. If you know all the tric

No it doesn't. Solving math is generative pattern matching. I once was very good at math and it's just works like puzzles in your mind. If you know all the trick that can be used to form solution you simply enumerate through them brute force (or something little more eloquent). It's just super hard to generate trick on your own and that's why if you miss single idea in math you are lost forever. Also it doesn't take single human to devise these algos. It took whole generations of humanity. We are just approaching possible lower bound of compute power of single brain. I think we might get program and proof synthesis in 1-30 years with this kind of progress and funding. AFAIK in 2048 silicon compute might get bigger than whole compute of humanity.