Comment Comment by smitty1e 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? parent smitty1e 1 month ago
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?