Noncommutative mathematics is, broadly speaking, the study of the mathematical structures arising from the mathematical formalization of quantum physics. Many mathematical theories admit natural noncommutative generalizations, corresponding to the passage from the classical to the quantum world. In my talk, I will focus on Choquet simplices, explaining how one can define their noncommutative generalization in the setting of operator systems.