alt Hacker NewsIt's really not that big. Yeah Navier-Stokes was easier than Riemann but that's not really the issue.
AI has and will improve at a much greater rate than human mathematicians. So it's really a question of if AI gets good enough to tackle it before any human does. It doesn't look like humans will be solving it anytime soon but where will AI be in 2 years ?
Hell, it looks like at least one other result will be announced soon too.
Replies
xanderlewis • today at 7:43 AM
Has and will. Are you going to back that assertion up at all, or just repeat it like that other viral thought-terminating cliche: ‘this is the worst the models will ever be’?
➕ show 1 reply
The thing about mathematics is that it can be arbitrarily hard, including impossible to prove a given theorem.
I don’t know the details of RH, it might very well be solved soon, but it could also be impossible or just so difficult that even orders of magnitude more intelligent AI can’t solve it even.
If it is impossible to prove, it might be possible to prove that it is impossible to prove, or that itself might be difficult or impossible…