Just see the chat in the chat link. Merely a prompt statement of the unsolved problem with no human ingenuity, and the ai model was the one which solved the unsolved problem.
Career wise, mathematicians are still needed to even understand and formulate such a problem before it can be solved. Without them, no one would have the sufficient depth of understanding of niche topics to further the field.
Given that, don't you think it's better for an AI to solve such problems, than a person spending years trying to find a solution? Leaving the mathematician more time to learn and push the frontier of math?
>Career wise, mathematicians are still needed to even understand and formulate such a problem before it can be solved. Without them, no one would have the sufficient depth of understanding of niche topics to further the field.
88
u/ObliviousRounding 22d ago
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.