"Top mathematicians were beaten by calculator AI that computes equations faster"