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

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