[mirker]

Well ya know, industry solved Fermat’s Last theorem numerous times but only managed to scribble it in the corner of their performance review.

[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.