The Mathematician’s Promethean Gap

“Large language models (LLMs) first appeared to the general public as a curiosity. Today, everyone uses them, and there is no doubt that their use is radically transforming the nature of our technical activities. This is particularly true in mathematics. […]”