AI Math Update

"AI achieves silver-medal standard solving International Mathematical Olympiad problems". (Via D.J.)