This is a companion discussion topic for the original entry at https://forest.localcharts.org/aria-0001.xml
This is a companion discussion topic for the original entry at https://forest.localcharts.org/aria-0001.xml
1 Like
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”