# 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)