Google DeepMind introduces Aletheia, an AI agent that autonomously conducts mathematical research by generating, verifying, and revising proofs in natural language. Powered by an advanced Gemini Deep Think model with novel inference-time scaling, the system has achieved notable milestones: generating a complete research paper
Sort: