GDM’s Pushmeet Kohli on solving science's biggest challenges with AI