Thumbnail image for UCTV: Using Math to Test the Limits of Computers with Yinzhan Xu and Chris Ye