Humans beat AI at annual math Olympiad, but the machines are catching up