Kevin, you may want to jump in here.
Or not...
There are now mathematical solutions being worked out on computers that could never be approached using humans, pen and paper. But this particular problem doesn’t look like they generated a real solution. This is a well known issue in mathematics, similar to a prior issue in math where it didn’t seem possible to calculate the area under a curve with any precision until Liebniz and Newton developed calculus. I think that this particular problem will generate its own new mathematical flourish similar to calculus.