What It Means to Be a Mathematician When AI Does the Math

IEEE Spectrum AI · 3 weeks ago

AI systems have progressed from basic mathematical computation to solving unsolved problems and producing publishable research, with Google DeepMind's Aletheia achieving Ph.D.-level results and OpenAI's system disproving a conjecture in combinatorial geometry. Large language models combined with proof assistants are automating the formalization of mathematical proofs, removing a bottleneck that previously required mathematicians to manually translate informal proofs into machine-readable code. As AI increasingly handles mathematical problem-solving, mathematicians must reconsider whether their value lies primarily in obtaining answers or in the deeper satisfaction found in the struggle to understand complex ideas.