5 ms·

What I don’t see much of in the article - and still less in the comments that seem to see AI-led progress in mathematics as nothing but a disaster, because math

by dash2 4d ago

What I don’t see much of in the article - and still less in the comments that seem to see AI-led progress in mathematics as nothing but a disaster, because mathematics exists only to provide employment to mathematicians - is a sense that mathematics has a social purpose, or duties beyond the community of mathematicians. I thought the reason we were encouraging people to go into STEM, and providing clever people with large salaries, was that mathematical results were of practical value to the wider human race. In which case, it’s surely very good news that AI can get those results. Isn’t all this handwringing just the equivalent of Hackney cab drivers bemoaning the advent of the motor car? Phrased in much fancier language, of course, because the people involved are cleverer and more articulate.

justinparus 4d ago
I agree at the high level. STEM bringing general benefit and greater understanding of the world is the main reason. This is true whether or not humans or an AGI is driving the progress.
curt15 4d ago
> I thought the reason we were encouraging people to go into STEM, and providing clever people with large salaries, was that mathematical results were of practical value to the wider human race. In which case, it’s surely very good news that AI can get those results. The impact of mathematics on other disciplines goes much further than specific results. Just as important, if not even more so, are the language and ways of thinking that typically come out of the process of establishing those results. Results without the accompanying conceptual understanding are about as useful as a mere oracle for math theorems. Another point that seems to be frequently missed or mischaracterized is that mathematicians are not opposed to computational tools as a matter of principle and in fact do use them when they help their research. The current controversy is not about a hypothetical future where mathematicians have easy access to open-source, open-weight, auditable natural-language assistants to help them internalize a new result or search for counterexamples. It's primarily about the recent behavior of certain for-profit companies suddenly trying to disrupt mathematics by caricaturing it in the public eye as a game they can "solve" or "beat" for headlines and valuation.

by dash2 4d ago

justinparus 4d ago

I agree at the high level. STEM bringing general benefit and greater understanding of the world is the main reason. This is true whether or not humans or an AGI is driving the progress.

curt15 4d ago

> I thought the reason we were encouraging people to go into STEM, and providing clever people with large salaries, was that mathematical results were of practical value to the wider human race. In which case, it’s surely very good news that AI can get those results. The impact of mathematics on other disciplines goes much further than specific results. Just as important, if not even more so, are the language and ways of thinking that typically come out of the process of establishing those results. Results without the accompanying conceptual understanding are about as useful as a mere oracle for math theorems. Another point that seems to be frequently missed or mischaracterized is that mathematicians are not opposed to computational tools as a matter of principle and in fact do use them when they help their research. The current controversy is not about a hypothetical future where mathematicians have easy access to open-source, open-weight, auditable natural-language assistants to help them internalize a new result or search for counterexamples. It's primarily about the recent behavior of certain for-profit companies suddenly trying to disrupt mathematics by caricaturing it in the public eye as a game they can "solve" or "beat" for headlines and valuation.