Google DeepMind's latest AI agent, Aletheia, independently solved six world-class mathematical problems in the FirstProof Challenge, achieving a qualitative leap from competition level to PhD research level. The "manual era" of human mathematical research may be approaching its end
