What AI Has and Hasn’t Solved Recently in Math

AI displays very impressive horizontal integration (integrating existing concepts) but not vertical integration (entirely new inventions).