←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 2 comments | 17 Nov 24 17:20 UTC | HN request time: 0s | source
Show context
throwaway713 ◴[17 Nov 24 22:24 UTC] No.42167915[source]▶
Anyone else feel like mathematics is sort of the endgame? I.e., once ML can do it better than humans, that’s basically it?
replies(11): >>42168138 #>>42168188 #>>42168552 #>>42169054 #>>42169223 #>>42169808 #>>42170065 #>>42170119 #>>42170460 #>>42171863 #>>42197083 #
margorczynski ◴[17 Nov 24 23:00 UTC] No.42168138[source]▶
I doubt it. Math has the property that you have a way to 100% verify that what you're doing is correct with little cost (as it is done with Lean). Most problems don't have anything close to that.
replies(2): >>42168205 #>>42169130 #
1. exe34 ◴[17 Nov 24 23:13 UTC] No.42168205[source]▶
to be fair, humans also have to run experiments to discover whether their models fit nature - AI will do it too.
replies(1): >>42168242 #
2. margorczynski ◴[17 Nov 24 23:20 UTC] No.42168242[source]▶
These kind of experiments are many times orders of magnitude more costly (time, energy, money, safety, etc.) than verifying a mathematical proof with something like Lean. That's why many think math will be one of the first to crack with AI as there is a relatively cheap and fast feedback loop available.