Pavel Izmailov d'Anthropic déclare que l'IA ne fera pas encore de découvertes indépendantes dans les sciences de la vie car elle ne peut pas réaliser d'expériences physiques Mais en mathématiques, où les modèles maîtriseront probablement les preuves formelles et les langages L'IA deviendra bientôt meilleure que les humains pour prouver des lemmes techniques