Bootstrapping the next generation of mathematical social machines

Tim Berners-Lee defines social machines to be a class of systems “in which the people do the creative work and the machine does the administration.” Here, we note that the ansatz in computational creativity – a subfield of artificial intelligence – is that, in the future if not already, computational systems and agents will also contribute directly to creative work. But it can be presumed that we will use standard social machines to develop the next generation ‘target’ systems, whatever they may be. The domain of mathematics is a particularly interesting and practical place to explore a range of issues in AI and other aspects of computing. Contemporary mathematical practice intersects several areas of computing practice and theory, ranging from computer-mediated communication to formal computational modelling of mathematical argument.
We ask: How will we use the various existing social machines to bootstrap the next edition? How can the idea of programming languages help?