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