Reporting on how AI is solving “impossible” math emphasizes that human experts still curate the problems, design the formal languages and interpret the resulting proofs, even when the machine’s ...