Can AI actually solve real math proofs? Researchers put it to the testBy Scientific American / March 25, 2026 A new challenge reveals how well AI can tackle true math problems