alt Hacker NewsThe desperately needed TL;DR is that perhaps the actual mathematics itself (i.e. proofs, calculations, etc.) can be done by AI, but why we do it and deciding which problems to solve can only be done by AI. Therefore mathematician do maths.
I'm not a mathematician, but this seems like a weak and slightly bizarre argument.
Replies
I'm wondering how we are going to maintain a critical mass of people who understand frontier mathematics if in another five or ten years the only "mathematicians" truly working at the frontier anymore are AIs. Or maybe "understanding" at depth will become a thing of the past, superseded by broad-strokes grasp of results plus machine verification.
If training data are purely historical, then how does the AI look forward?
And if human mathematicians are drummed out of producing future training data, then can AI end up proving itself so much "eating the seed corn", only at scale?
> but why we do it and deciding which problems to solve can only be done by AI
Sorry, was there a typo here? Both sides of the comparison are AI, and in the affirmative?