The Allen Institute of AI (AI2) has is building software that aims to achieve proficiency on standardized science & math tests. My talk will introduce AI2, its research methodology, and describe a series of semantic challenges, and associated data sets that we are sharing with the community. Unlike other speakers, I'm offering problems not solutions.