O antrópico Pavel Izmailov diz que a IA ainda não fará descobertas independentes nas ciências da vida porque não pode realizar experimentos físicos Mas em matemática, onde os modelos provavelmente dominarão provas formais e linguagens A IA logo se tornará melhor que os humanos em provar lemas técnicos