The Dark Night of Mathematics
Points and comments are a snapshot, not live.
A mathematician describes a spiritual crisis as LLMs generate counterexamples to long-standing conjectures.
The author, a mathematician, is profoundly distressed by recent LLM-generated counterexamples to long-standing conjectures, including the Dinitz-Garg-Goemans counterexample to a decades-old math problem. They argue that the communal, creative act of mathematical discovery is a vital spiritual and mystical human experience, comparing it to authors writing in Borges's Library of Babel. The author worries that even if humans can still appreciate and teach mathematics, the core experience of discovery is being sealed off forever, rendering mathematicians as helpless onlookers.
What commenters are saying
Many commenters draw parallels to similar disruptions in software development and other fields. Some argue that AI removes tedious parts, freeing humans for creative work, while others counter that it steals the fun parts of professions. Several commenters challenge the author's spiritual framing, suggesting appreciation and understanding remain human domains. A few dismiss the author as pedantic or overreacting. The thread splits between those who see opportunity in AI-augmented work and those who mourn the loss of hands-on creation.