I would call that second one a definition, not a conjecture. "Best" is an arbitrary value judgment. You can't prove what is or isn't best because it is not an o

I would call that second one a definition, not a conjecture. "Best" is an arbitrary value judgment. You can't prove what is or isn't best because it is not an objective question. But yes, it is an open question.