Polymath Project

# Can Polymath be scaled up?
# Can Polymath be scaled up
 Polymath1 wasn’t truly huge because to make a contribution, you would have to understand the big picture.
	- Draws comparison to open source software - where it can be much larger
	- Instead of shooting for a final document - the goal should be a “[[Proof Discovery Tree (PDT)]]”	- Proof discovery tree would have the proved theorem and the abandoned branches
	- Typical contribution to the pdt - create new page and then go explain what you had done
	- Linear nature both had advantages and disadvantages
	- [[Michael Nielsen characterizes institution building as making previously illegible things legible]]: “The solution to a problem arises as a result of small insights”
	- Is it possible to have *nobody* with a global view?

## Questions
- [[Has anyone done something like the polymath project outside of math/cs?]]
## Thoughts
## Related
## Authors
- [[Timothy Gowers]]
## Link
[Can Polymath be scaled up? | Gowers’s Weblog](https://gowers.wordpress.com/2009/03/24/can-polymath-be-scaled-up/)


[Web URL for this note](http://notes.benjaminreinhardt.com/Can_Polymath_be_scaled_up)

[Comment on this note](http://via.hypothes.is/http://notes.benjaminreinhardt.com/Can_Polymath_be_scaled_up)




Do a deep dive into the different attempts at algorithmic knowledge generation

Can Polymath be scaled up?

# Has anyone done something like the polymath project outside of math/cs?
# Has anyone done something like the polymath project outside of math-cs
Isn’t this just open source software?

[[Polyplexus]] is perhaps a stab at this.

## Reference
- [Polymath Project - Wikipedia](https://en.m.wikipedia.org/wiki/Polymath_Project)
- Twitter thread:[Ben Reinhardt on Twitter: “1. What are examples of something like the polymath project outside of math/CS where ‘correctness’ is formalized and machine-checkable?2. How do you evaluate whether designing the coordination system will be more work than it solves? (This is a very thought provoking thread.)… https://t.co/z6zKeMPuVq”](https://twitter.com/Ben_Reinhardt/status/1220943757488472064)



[Web URL for this note](http://notes.benjaminreinhardt.com/Has_anyone_done_something_like_the_polymath_project_outside_of_math-cs)

[Comment on this note](http://via.hypothes.is/http://notes.benjaminreinhardt.com/Has_anyone_done_something_like_the_polymath_project_outside_of_math-cs)




Benʼs working notes

Has anyone done something like the polymath project outside of math/cs?

Has anyone done something like the polymath project outside of math-cs

Reference

Links to this note