This question is related to the general phenomenon of the spikiness of AI capabilities, meaning that it is already superhuman in some areas, but still lacks something needed to replace human intellectual labor on a massive scale. I have the impression that the most significant thing which is missing is a sort of ability to exercise judgements.
A somewhat optimistic view of AI in mathematics · Robert Wegner · 10 September 2026