Gowers and Nielsen have written a nice opinion piece (Nature 461, 879-881, 15 October 2009) on The Polymath Project, an open-source and collaborative attempt at solving an unsolved math problem – to find a new proof of a result in ergodic theory called the density Hales-Jewett theorem using only ‘elementary’ building blocks. The protocol for the collaboration was that each participant (who could be anyone – from beginning student to Fields medalist – with an interest in the topic, from anywhere in the world) could post one nugget of an idea at a time, to the weblog. There was no requirement regarding the individual contributions. Indeed, it seems like some of the posts were just comments clarifying small points. In this first trial, it took a group of 27 people 37 days and approx. 800 serious comments to get the desired result.
The authors ask, who would have guessed that the working record of a mathematical project would read like a thriller? But, of course, both of them know very well (as does every serious scientist) that this is exactly the nature of research – this is why we do what we do.
To me, there were two important messages to take away:
(a) The protocol begins to demystify the process of creativity. I have always been turned off by the macho posturing by researchers who deny that big ideas are, in the end, just clever compositions of carefully chosen smaller ones. Instead, this project strongly suggests that the collaborative effect of multiple incomplete but properly diverse viewpoints is what it takes, much like Minsky’s Society of Mind.
(b) As the article notes,
“Although DHJ Polymath was large compared with most mathematical collaborations, it fell short of being the mass collaboration initially envisaged. Those involved agreed that scaling up much further would require changes to the process. A significant barrier to entry was the linear narrative style of the blog. This made it difficult for late entrants to identify problems to which their talents could be applied.”
With my AI researcher hat on (i.e., as someone who looks at this project as inspiration for the design of corresponding ‘intelligent’ computational systems), I find that this is the exactly the challenge that an autonomous agent must come to terms with when trying to learn useful skills in a lifelong sense. It is not that hard to devise learning procedures that can do the equivalent of making nuggets of suggestions. The harder problem is to learn context and measures of appropriateness for the individual components. However, if we begin to understand how people really do this it shouldn’t be impossible to get machines to follow (although, as someone used to ask me in response to such bold statements, ‘…famous last words?!’).