“Harmonic AI's AxiomProver successfully solved all 12 problems from a recent Putnam mathematical competition.”