Some Amateur Analysis of the Consequences of the Current AI-math Fever
Disclaimer : I'm Not a mathematician, merely some guy who's interested in Mathematical linguistics. Here the term "AI-math fever" refers specifically to the narratives of the form "AI is gonna replace human mathematician", "AI is gonna revolutionize mathematics", "It shall be allowed to use AI (unrestrictedly) to do mathematical researches." etc.. There are at leat three problems along with these narratives: 1. If a mathematical probelm is not solved, we shall first of all ask why it is not solved. It's absolutely absurd to hype over some results without first knowing why the probelm is not solved. 2. That the problems are not solved does not indicate that nobody has been working on the probelms. It's also well-known that these models are trained on large amounts of data produced by human. H uman mathematicians who are working on the unsolved problems are human. Thus, the models are trained on (at least some) materials pr...