“Harmonic's strategy is to allow the community to express "taste" in mathematical research by making Aristotle accessible via an API and observing the revealed preferences in the problems users submit.”