The paper discusses an example of an educational project in modern mathematics in which school students create mathematics that is new to them. The mathematical results produced by the students in the theory of definability also have an “absolute” novelty, i.e., are the basis for professional publications. The described course was based on recent results of this article’s authors in the theory of definability. The new results were obtained by a group of 10 schoolchildren from different regions of Russia.