Quand 100 ans de recherche en mathématiques rencontrent trois heures d'IA
Des centaines de démonstrations, des conjectures centenaires bousculées et des avancées revendiquées sur les plus grands problèmes mathématiques. L'intelligence artificielle va transformer radicalement le rythme de la découverte scientifique.