# Massively collaborative mathematics

@article{Gowers2009MassivelyCM, title={Massively collaborative mathematics}, author={T. Gowers and Michael Nielsen}, journal={Nature}, year={2009}, volume={461}, pages={879-881} }

The 'Polymath Project' proved that many minds can work together to solve difficult mathematical problems. Timothy Gowers and Michael Nielsen reflect on the lessons learned for open-source science.

#### Topics from this paper

#### Paper Mentions

#### 146 Citations

Analyzing Massively Collaborative
Mathematics Projects

- 2011

In the increasingly rare segment, the stage curtain is raised to reveal an individual or team performing an unusual stunt, often accompanied by music from the CBS Orchestra ... after about thirty… Expand

ProofPeer: Collaborative Theorem Proving

- Mathematics, Computer Science
- ArXiv
- 2014

It is believed that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems. Expand

The twin prime conjecture and other curiosities regarding prime numbers

- Mathematics
- 2017

The paper begins with a reference to Riemann’s hypothesis on the sequence of prime numbers, still unproven today, and goes on to illustrate the twin prime conjecture and the more general Polignac’s… Expand

The polymath project: lessons from a successful online collaboration in mathematics

- Computer Science, Mathematics
- CHI
- 2011

An in-depth descriptive history of Polymath is provided, using data analysis and visualization to elucidate the principles that led to its success, and the difficulties that must be addressed before the project can be scaled up. Expand

Computational logic and the social

- Computer Science
- J. Log. Comput.
- 2016

This paper outlines a research agenda for a new vision of a mathematics social machine, a combination of people, computers, and archives to create and apply mathematics, and places it in the context of verification research, computational logic and Roy Dyckhoff’s pioneering work on computer proof. Expand

Mathematical practice, crowdsourcing, and social machines

- Computer Science, Mathematics
- MKM/Calculemus/DML
- 2013

A future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research is outlined. Expand

Mathematical Arguments and Distributed Knowledge

- 2013

Because the conclusion of a correct proof follows by necessity from its premises, and is thus independent of the mathematician’s beliefs about that conclusion, understanding how different pieces of… Expand

Stumbling Around in the Dark: Lessons from Everyday Mathematics

- Computer Science, Mathematics
- CADE
- 2015

This essay looks at four case studies to see what the authors can learn about the everyday practice of mathematics, and the role of computer algebra, in particular the GAP system, in the production of mathematics. Expand

ANALYZING THE DISCOURSE OF GEOGEBRA COLLABORATIONS

- Computer Science
- 2010

It is argued for a view of mathematics as discourse and for a specific set of complementary approaches to analyzing collaborative math discourse to reveal processes of mathematical group cognition. Expand

Toward a Comparative Cognitive History: Archimedes and D. H. J. Polymath

- Sociology, Computer Science
- ArXiv
- 2012

It is argued that a cognitive history methodology can shed light into the nature of collective intelligence and its differences from individual intelligence. Expand

#### References

Targeted Development of Registries of Biological Parts

- Medicine, Biology
- PloS one
- 2008

By analyzing inclusion relationships between the sequences of the Registry entries, this work builds a network that can be related to the Registry abstraction hierarchy and extracts the distribution of entry reuse and complexity. Expand