El antropo Pavel Izmailov 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 demostraciones formales y los lenguajes La IA pronto será mejor que los humanos a la hora de demostrar lemas técnicos