> if there's something simple that we've missed

That's exactly what current mathematicians are using AI for [1].

However, the same mathematicians also believe that pursuing a beautiful proof (even if none exists) is worth it.

[1] https://spectrum.ieee.org/ai-in-mathematics