Aletheia de Google : un agent autonome avancé pour la recherche mathématique
Google a développé Aletheia, un système IA basé sur Gemini 3 Deep Think, capable de résoudre 6 nouveaux problèmes mathématiques sur 10 du défi FirstProof et d'atteindre 91,9 % sur IMO-ProofBench. Cette solution met en œuvre un raisonnement automatisé complexe, démontrant une capacité d'exploration et d'auto-optimisation en recherche mathématique, ce qui représente une avancée notable vers des agents IA entièrement autonomes.
