upvote
> People instead focus on understanding, because history has taught us that understanding tough problems in mathematics finds natural applications elsewhere.

If the goal is still eventually the applications elsewhere, we're back to what happens if the AI is simply better at this.

You can probably make an argument that human understanding is better as humans are better at finding new patterns or fundamental new ways of thinking and also applying them to new applications.

However, what if AI becomes better at humans for that as well?

No reason you couldn't have an AI be optimised for advancing basic research and understanding and a second AI to take these results and optimise for finding new applications for these discoveries.

reply
> what if AI becomes better at humans for that as well?

The "if" is the problem. If it happens, then of course, let AI do it. For the moment AI is still bad at those type of tasks [1], so the discussion shouldn't focus on highly conjectural situations. We can't destroy the scientific ecosystem based on vague speculations.

[1] There are real reasons: it is not obvious how to optimize an LLM for doing basic science or other ill defined tasks. On the contrary, optimizing for writing a proof that passes the Lean test or code that passes the tests is a different story.

reply
Basic research is funded with the understanding that applications are not imminent, yes, but also with the expectation that some of the knowledge gained will eventually result in advancements to the public welfare
reply