Pavel Izmailov de Anthropic dice que la IA aún no hará descubrimientos independientes en las ciencias de la vida porque no puede realizar experimentos físicos Pero en matemáticas, donde los modelos probablemente dominarán las pruebas formales y los lenguajes La IA pronto se volverá mejor que los humanos en demostrar lemas técnicos