Comment Comment by PandaRider > if there's something simple that we've missedThat'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 parent PandaRider 3 months ago
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