How would you suggest making sure funding gets pointed towards these kinds of problems as well?
However we currently do it, I guess; I don’t have any improvements in this particular direction. Though do note that P vs NP, and P vs PSPACE, and BQP vs P or NP are all examples of precisely-defined problems that are also very significant. These are problems that I would much rather have an answer for than the Riemann hypothesis. Though even there, the process isn’t guaranteed to generate an interpretable proof.
However we currently do it, I guess; I don’t have any improvements in this particular direction. Though do note that P vs NP, and P vs PSPACE, and BQP vs P or NP are all examples of precisely-defined problems that are also very significant. These are problems that I would much rather have an answer for than the Riemann hypothesis. Though even there, the process isn’t guaranteed to generate an interpretable proof.