←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
249 points rishicomplex | 2 comments | 17 Nov 24 17:20 UTC | HN request time: 0.401s | source
Show context
wslh ◴[17 Nov 24 18:35 UTC] No.42165921[source]▶
If you were to bet on solving problems like "P versus NP" using these technologies combined with human augmentation (or vice versa), what would be the provable time horizon for achieving such a solution? I think we should assume that the solution is also expressible in the current language of math/logic.
replies(3): >>42166040 #>>42166122 #>>42166182 #
hiddencost ◴[17 Nov 24 18:50 UTC] No.42166040[source]▶
No one is focused on those. They're much more focused on more rote problems.

You might find them used to accelerate research math by helping them with lemmas and checking for errors, and formalizing proofs. That seems realistic in the next couple of years.

replies(1): >>42167047 #
nybsjytm ◴[17 Nov 24 20:43 UTC] No.42167047[source]▶
There are some AI guys like Christian Szegedy who predict that AI will be a "superhuman mathematician," solving problems like the Riemann hypothesis, by the end of 2026. I don't take it very seriously, but that kind of prognostication is definitely out there.
replies(2): >>42169055 #>>42169864 #
1. Davidzheng ◴[18 Nov 24 05:07 UTC] No.42169864[source]▶
link to this prediction? The famous old prediction of Szegedy was IMO gold by 2026 and that one is basically confirmed right? I think 2027/2028 personally is a breakeven bet for superhuman mathematician.
replies(1): >>42170359 #
2. nybsjytm ◴[18 Nov 24 06:54 UTC] No.42170359[source]▶
I consider it unconfirmed until it happens! No idea where I saw it but it was probably on twitter.