|
|
|
|
|
|
by PandaRider
6 hours ago
|
|
|
> 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 |
|
|