Jacob Tsimerman believes that AI will be better than human mathematicians within 2 years.

We should not be surprised if AI solves the Millenium problems very soon and advances to a level that is barely comprehensible, or even incomprehensible, to the best humans.

We can expect this not by curve fitting to recent progress but by reasoning from first principles about where the progress has come from (synthetic data, non-human corpus) that has no obvious upper bound on capabilities.