Tao, T. (2025, February 2). Collaborative repositories on open problems. *MathOverflow*. https://mathoverflow.net/questions/487041/collaborative-repositories-on-open-problems/487065#487065