DeepMind's AI Solves 6 Research-Level Math Problems
DeepMind's Aletheia, powered by a multi-agent framework, solved 6 out of 10 unpublished research-level math problems from the FirstProof challenge, with 5 solutions deemed publishable by external experts.