←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.353s | 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. SkiFire13 ◴[18 Nov 24 19:14 UTC] No.42175830[source]▶
... or it might prove that it's impossible to self-improve given the current constraits