3 ms·Terence Tao: A crowdsourced repository for optimization constants?6 points by frozenseven 9mo agofrozenseven 9mo agoGitHub: https://github.com/teorth/optimizationproblems https://github.com/teorth/optimizationproblems