“Demis Hassabis states that automating areas of natural science is significantly harder than engineering tasks because the outputs, such as new chemical compounds or physics predictions, require experimental testing for verification.”