Has AI made any progress as a mathematical theory-builder,,,,?

Full title: Has AI made any progress as a mathematical theory-builder, rather than just a problem-solver?

That is very interesting, haven’t thought about that and now I only remember AI solving math problems