OpenAI researcher @boazbaraktcs on what human mathematicians do in a world of mathematical superintelligence: "It will be kind of pointless if AI proves theorems that only AI can understand. So we want AIs to explain to humans." "It will be easier for AIs to explain their work to expert mathematicians than to the general public." "So these mathematicians will be the ones that first interact with AI and explore what are the right questions to ask, and then they, together with the AIs, explain…