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