Just updated: "Towards Autonomous Mathematics Research" from Google DeepMind—and it has Demis Hassabis's name on it! The introduced Aletheia is a new math research agent thinks like a human mathematician, iteratively generating, verifying, and revising solutions end-to-end in

→ View original post on X — @jiqizhixin