A residential research institute for the mathematical sciences