Comment by hubabuba44
6 hours ago
Isn't the problem that without exploration we won't actually get new goals e.g. can AI come up with new math conjectures instead of "just" solving existing ones.
6 hours ago
Isn't the problem that without exploration we won't actually get new goals e.g. can AI come up with new math conjectures instead of "just" solving existing ones.
Yeah - I think he’s worried that we have a tool that’s almost an oracle that can just get straight to the heart of a given problem.
The problems aren’t always that interesting in their own right. But the quest to solve them is often what drives the invention of new techniques.
We ultimately got the Langlands program and a large amount of algebraic number theory out of attempts to solve fermat’s last theorem. A “clever” approach using techniques from the 1800s wouldn’t have been anywhere near as fruitful for mathematics as a discipline.