Humans solved the open math problems.