“Axiom Prover solved four open mathematical conjectures that had never been solved by any human mathematician, submitted by professors from universities including Technion, Boston College, and Williams College.”