I think the big question is whether these recent gains continue. It’s entirely plausible that the ai firms are going to run out of human trainers capable of further refining the model. It’s also possible we are on the cusp of real superintelligence.
The 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.
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?
Read by the author https://www.youtube.com/live/gPrWX8i1htM
Some arguments are based on "past experience..."
However, such experiences are not absolute truths and cannot be equated with the current situation.
I think the big question is whether these recent gains continue. It’s entirely plausible that the ai firms are going to run out of human trainers capable of further refining the model. It’s also possible we are on the cusp of real superintelligence.
The 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.
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?