The Dark Night of Mathematics
Summary
This Substack essay, titled The Dark Night of Mathematics, collectors introspection on how large language models and AI-driven proof systems affect mathematical discovery, creativity, and the human role in proofs. The author shares a personal existential struggle, references the Leiden Declaration on AI and Mathematics, and condemns the potential erosion of human-led discovery in mathematics due to AI. The piece contemplates future implications for mathematicians, pedagogy, and the authenticity of mathematical progress.