> we urgently need to come up with good ways of explaining the value of having a large pool of human mathematical experts, even if it is no longer part of their role to find new proofs of theorems.
This is the main issue, and while I fully agree with that value sentiment, the Fields medallists’ letter failed to provide convincing arguments for why mathematicians should widely receive funding for merely understanding things, and how competition for postdoc and tenure positions would work under these circumstances.
This argument is a bit nonsensical to me: the practical “value” of having mathematician has always been very indirect anyway, it's not like mathematical proofs of most problems mathematicians are working on have any practical value.
The reason why you want, as a society, to have a pool of human mathematicians sitting around solving problem nobody's asking but them, is to have this pool of people who understand math deeply enough to teach a digestible version to all your engineers and physicists (who are the one who actually use math for actually productive stuff sometimes) and to have them nearby to help if a physician or engineer has a question about the math they are using. And it's through these two means that over the long time a tiny fraction of mathematical progress ends up in the actual world. And it's fine because many thing can end up depending on a single piece of progress that happened 80 ago (for instance without the theory of numbers, there would be no modern cryptography, but at the same time most results of the theory of numbers will never be useful in any way).
And I don't think we have good reasons to believe an AI is going to be a good replacement for these two just because it knows how to solve well-studied hard problems.
More generally, I think the history of the Cultural Revolution should make us very reluctant to try accessing the “usefulness” of certain groups of intellectuals based on their measurable first-order output.
layer8 · · focus · HN ↗
This is the main issue, and while I fully agree with that value sentiment, the Fields medallists’ letter failed to provide convincing arguments for why mathematicians should widely receive funding for merely understanding things, and how competition for postdoc and tenure positions would work under these circumstances.
stymaar · · focus · HN ↗
The reason why you want, as a society, to have a pool of human mathematicians sitting around solving problem nobody's asking but them, is to have this pool of people who understand math deeply enough to teach a digestible version to all your engineers and physicists (who are the one who actually use math for actually productive stuff sometimes) and to have them nearby to help if a physician or engineer has a question about the math they are using. And it's through these two means that over the long time a tiny fraction of mathematical progress ends up in the actual world. And it's fine because many thing can end up depending on a single piece of progress that happened 80 ago (for instance without the theory of numbers, there would be no modern cryptography, but at the same time most results of the theory of numbers will never be useful in any way).
And I don't think we have good reasons to believe an AI is going to be a good replacement for these two just because it knows how to solve well-studied hard problems.
More generally, I think the history of the Cultural Revolution should make us very reluctant to try accessing the “usefulness” of certain groups of intellectuals based on their measurable first-order output.