This is the "democratization" in practice. Top pro-AI mathematicians will get the spoils.