AI agents make real math discoveries

A multi-agent AI system autonomously tackled open math problems and produced five genuinely novel results, with proofs human mathematicians can use.