alt Hacker NewsI suppose you could say, hypothetically, that if the field were “solved” then the protection of the feelings and sense of need for human understanding of the now obsolete practitioners might hinder any benefits that the now solve field could provide.
The answer to this is probably just “get out of the way” and then your “work” would be to develop a better appreciation of what has been produced.
Replies
joe_the_user • today at 9:41 PM
If LLMs could both prove any relevant theorem, explain such a theorem cogently and lay the groundwork for further theory, I don't see how any way mathematicians could stand in the way of that.
> The answer to this is probably just “get out of the way” and then your “work” would be to develop a better appreciation of what has been produced.
They aren't in the way. AI labs can do their own math all they want, and nobody is stopping them. Rather, mathematicians are simply speaking about the topic.
So is the answer that they should just shut up?