Artificial Intelligence Colloquium: Synergistic Discovery and Design