alt Hacker NewsThe research field of mathematics is obviously so different with these frontier models that to describe it has being laid waste is nonsensical.
It’s like saying the power loom laid waste to the field of textiles.
Replies
Did you read any of the explanations from mathematicians over the last month? What part of them do you disagree with?
For example [1]:
> In many fields and activities, years of training have traditionally served not only to produce a final answer or product, but also to develop understanding and the ability to formulate new questions and ideas. However, building on a vast body of previous human work, AI systems are becoming increasingly capable of producing the results of such work directly, and these goals cease to align.
Or [2]:
> Use of AI tools, when done responsibly, can support not just the initial generation of a solution, but all of the valuable followup activities that traditionally flow out of that solution. But at the current time, the opposite is often occurring: problems are being solved autonomously by AI prompters who have no interest in the broader field itself once their initial target is "solved", and do not understand the AI output well enough to answer questions on the result, give talks, or otherwise interact with the rest of the field.
> ...
> solutions to open problems are now being harvested at large scale in an unsustainable fashion, leaving entire fields of mathematics much less fertile than when such problems were solved in the traditional "Math 1.0" fashion.
The bottleneck now is human understanding.
Ironically, that has been that way for most people since forever.
Comparing with the situation in programming, where code evaluation (obviously analogous to "understanding") is that bottleneck now, should get people the idea of being in the same boat.