No, AI doesn’t mean the end of mathematics – at least not yet | Bruce Schneier and Kasra Rafi
TL;DR
About 40 leading mathematicians met at OpenAI's offices to discuss the future of their profession, and the mood in the write-ups afterwards was mostly glum, with people fearing for their jobs, careers and the work they love. Bruce Schneier and Kasra Rafi push back on that reading. Current AI models are nowhere near as capable as experienced academic mathematicians, at least in the short term, and certain abilities remain human for now.
Nauti's Take
The counter-position is refreshingly concrete. Models are strong at execution, while choosing which problems are worth proving stays human work for now, and that combination holds real potential.
The challenge is the time horizon, because in the short term is a weak promise. Nauti sees an advantage for researchers who pull AI into the proof process today.
Sources