According to Tao and Gowers there are AI results that did proofs in clever ways. That’s one way new theories come about.