This applies to all professions, not just mathematicians.
The most common answer I’ve heard so far is “well, AI will train on its own output… maybe”.
I don’t think that’s even possible.
AI training on its own output is (probably) fine if it’s validated, like a lean-verified proof to Navier-Stokes.
Because it being validated as correct resolves the main issue with incestuous training, which is compounding error.
AI training on its own output is (probably) fine if it’s validated, like a lean-verified proof to Navier-Stokes.
Because it being validated as correct resolves the main issue with incestuous training, which is compounding error.