Narrow deep learning ai is generally not suited for this. However automated theorem provers are a thing and have proven major conjectures/theorems that weren't

Narrow deep learning ai is generally not suited for this. However automated theorem provers are a thing and have proven major conjectures/theorems that weren't solved by humans before. E.g. The four color problem IIRC. Although the best results are generally obtained with semi-automated theorems provers But still, this is not cleverness, this just show that raw bruteforce + a few tricks can solve a few problems, by generating proofs of multiple terabytes(yes this is absurd scaling). The asymmetry between compute power and computer lack of intelligence is remarkable. https://en.m.wikipedia.org/wiki/Automated_theorem_proving https://en.m.wikipedia.org/wiki/Automated_theorem_proving