Benʼs working notes

About these 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

Isn’t this just open source software?

Polyplexus is perhaps a stab at this.

Reference

  • Polymath Project - Wikipedia
  • 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”

Web URL for this note

Comment on this note

Links to this note

Can Polymath be scaled up?