What happens to mathematics when machines can write the proofs but cannot ask the questions?
Pure mathematics usually happens in public university seminar rooms, driven by human intuition and endless cups of coffee. But as artificial intelligence begins solving complex proofs with a simple yes or no, that culture is suddenly vulnerable. Published in Defector on 10 September 2026, the essay pauses on a quiet crisis in the math world. The tension goes beyond whether machines can do the work faster. It asks what happens to human knowledge when mathematical discovery moves out of the open and into the secretive, closed-door labs of tech companies.
An examination of how artificial intelligence and computer proof assistants are changing the daily work of pure mathematics. The author traces the progression from early automated logic to modern language models that now generate proofs for open problems. The essay concludes by forecasting how this automation could move mathematical research out of public universities and into the private labs of technology companies.
Read at source: Defector
For more features and details, visit aarva.app
