I think that mathematics is a uniquely positioned space because this type of progress is possible for AI models exactly because they do not have to necessarily come up with new theories.