No, it's not an "everyone" problem yet. Each field is likely on its own timeline. Knowing how well AI is at proving theorems is of only limited use for predicting what will happen and when in other fields.
There's no particular reason to believe that solving math theorems generalizes to engineering or robotics without a whole lot of additional work.
> There's no particular reason to believe that solving math theorems generalizes to engineering or robotics without a whole lot of additional work
that "whole lot" is only a lot in human time (the typical "man-month") which is what is being sped up here.