LLMs, Symbolic Computation and the Future of Mathematical Discovery
“The cat’s out of the bag,” said the mathematician Andrew Granville, reflecting on the rapid improvement of AI systems. His phrase captures the mood of the moment: by 2025-26, large language models (LLMs) had become powerful enough to move from impressive demonstrations to serious mathematical and scientific use. AI systems reached gold-medal level at the […]