←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 4 comments | 17 Nov 24 17:20 UTC | HN request time: 0.611s | source
Show context
nybsjytm ◴[17 Nov 24 20:34 UTC] No.42166977[source]▶
Why have they still not released a paper aside from a press release? I have to admit I still don't know how auspicious it is that running google hardware for three days apiece was able to find half-page long solutions, given that the promise has always been to solve the Riemann hypothesis with the click of a button. But of course I do recognize that it's a big achievement relative to previous work in automatic theorem proving.
replies(2): >>42167197 #>>42167309 #
whatshisface ◴[17 Nov 24 21:00 UTC] No.42167197[source]▶
I don't know why so few people realize this, but by solving any of the problems their performance is superhuman for most reasonable definitions of human.

Talking about things like solving the Reimman hypothesis in so many years assumes a little too much about the difficulty of problems that we can't even begin to conceive of a solution for. A better question is what can happen when everybody has access to above average reasoning. Our society is structured around avoiding confronting people with difficult questions, except when they are intended to get the answer wrong.

replies(3): >>42167281 #>>42167469 #>>42167489 #
1. zeroonetwothree ◴[17 Nov 24 21:29 UTC] No.42167469[source]▶
Well, multiply two large numbers instantly is a superhuman feat a calculator can do. I would hope we are going for a higher bar, like “useful”. Let’s see if this can provide proofs of novel results.
replies(3): >>42167522 #>>42167670 #>>42167858 #
2. nybsjytm ◴[17 Nov 24 21:35 UTC] No.42167522[source]▶
It's worth emphasizing that it's been possible for years to use an automatic theorem prover to prove novel results. The whole problem is to get novel interesting results.
3. whatshisface ◴[17 Nov 24 21:56 UTC] No.42167670[source]▶
The ability to multiply two numbers superhumanly has already transformed society.
4. rowanG077 ◴[17 Nov 24 22:17 UTC] No.42167858[source]▶
That superhuman capability of "multiplying two large numbers instantly" has transformed human society like not even plumbing has. I really can't see how this you could not consider this useful.