In “The Great Math War,” Jason Socrates Bardi takes on a battle for the soul of numbers that divided the experts of its day.
DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...