Will human mathematicians be mostly obsolete by 2030?

Prediction market on manifold.

Liquidity: $1,110. Resolves: 12/31/2029.