Abstract: We will discuss some ongoing experiments at the interface of human and computer mathematics that may have a meaningful impact on what research mathematics might look like in a decade (if not sooner).