←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.208s | 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 #
technotony ◴[18 Nov 24 01:55 UTC] No.42169054[source]▶
Yes, because if AI can do maths then it can use that to improve the efficiency/quality of it's algorithms to self improve...
replies(2): >>42169122 #>>42175830 #
1. nybsjytm ◴[18 Nov 24 02:14 UTC] No.42169122[source]▶
The quality of AI algorithms is not based on formal mathematics at all. (For example, I'm unaware of even one theorem relevant to going from GPT-1 to GPT-4.) Possibly in the future it'll be otherwise though.