Ein neues Angebot der Universität Edinburgh: bei TheoryMine kann man für nur 15 britische Pfund einen neuen, mit Computerhilfe gefundenen mathematischen Satz nach sich selbst oder, falls man noch ein Weihnachtsgeschenk braucht, auch nach jemand anderem benennen lassen.