Pavel Izmailov di Anthropic afferma che l'AI non farà ancora scoperte indipendenti nelle scienze della vita perché non può eseguire esperimenti fisici Ma in matematica, dove i modelli probabilmente padroneggeranno prove formali e linguaggi L'AI diventerà presto migliore degli esseri umani nel dimostrare lemmi tecnici