Terence Tao: A crowdsourced repository for optimization constants?