A crowdsourced repository for optimization constants?terrytao.wordpress.com1 pointjjgreen5 months ago