Formal and Informal Collaboration

Eigil Rischel

Mon Mar 04 2024

Some relevant links:

• The Polymath Project: Polymath Project - Wikipedia, a series of large-scale collaborations between mathematicians to make progess on longstanding open problems.
• The Liquid Tensor Experiment: Completion of the Liquid Tensor Experiment | Lean community blog, a big collaboration to formalize a particular extremely complicated cutting-edge theorem in Lean.
• Reinventing Discovery: Reinventing Discovery - Wikipedia, a book by Michael Nielsen about “networked science”