Jeff Dean, who earned his computer science Ph.D. at the University of Washington, is leaving Google after 27 years and taking three of the company's top AI researchers with him. Their startup, Discovery Loop, aims to automate the scientific method itself, and Google is helping fund it.