Axiom Math's AxiomProver system generates proofs for longstanding math problems, sparking debate in academic circles.
