> 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

> 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 https://spectrum.ieee.org/ai-in-mathematics