What is the mathematical problem that has been solved in THE HUMANS?