[LegitShady]

Industry solved it as many times as the academics have

[doliveira]

Fermat's last theorem has been solved back in the 90s. But it's obviously just one example to illustrate the main point, it's not about whether it specifically has been solved or not.

[mirker]

And also what industry would pay someone to solve that problem. Super hard problem of little industrial value.