Using Math to Test the Limits of Computers