There is something like this already called Wolfram Mathworld [1]. As a mathematical laymen trying to solve the problems on Project Euler, Mathworld would often give me the insight I needed to find an efficient solution so it is a great tool for students.

[1] http://mathworld.wolfram.com/