Quantamagazine: At the Math Olympiad, Computers Prepare to Go for the Gold